Theorem AlgebraicGeometry.Scheme.toIso_inv_ι

Modification history