Theorem AlgebraicGeometry.Scheme.isoOfEq_rfl

Modification history