Def AlgebraicGeometry.morphismRestrictRestrictBasicOpen

Modification history