Def AlgebraicGeometry.toSpecΓ

Modification history