Theorem AlgebraicGeometry.pullbackRestrictIsoRestrict_hom_ι

Modification history