Theorem AlgebraicGeometry.morphismRestrict_app

Modification history