Theorem AlgebraicGeometry.Scheme.homOfLE_rfl

Modification history