Theorem AlgebraicGeometry.Scheme.Hom.app_invApp'

Modification history