Theorem AlgebraicGeometry.pullbackRestrictIsoRestrict_inv_fst

Modification history