Theorem AlgebraicGeometry.Scheme.Hom.preimageIso_inv_ι

Modification history