Theorem AlgebraicGeometry.Scheme.Hom.appIso_inv_app_apply'

Modification history