Theorem AlgebraicGeometry.Scheme.homOfLE_base

Modification history