Theorem AlgebraicGeometry.Scheme.inv_app

Modification history