Def AlgebraicGeometry.Scheme.openCoverOfIsIso

Modification history