A Note About Models of Synthetic Algebraic Geometry

Published:

Direct Link