Theorem AlgebraicGeometry.Scheme.homOfLE_apply

Modification history