Theorem AlgebraicGeometry.Scheme.isoOfEq_hom_ι

Modification history