Theorem AlgebraicGeometry.Scheme.Hom.toImage_app

Modification history