Theorem AlgebraicGeometry.Scheme.Hom.resLE_preimage

Modification history