Theorem AlgebraicGeometry.morphismRestrict_ι

Modification history