Theorem AlgebraicGeometry.Scheme.isoOfEq_inv_ι

Modification history