Theorem AlgebraicGeometry.IsReduced.iff_of_openCover

Modification history

2026-06-03 16:18
Mathlib/AlgebraicGeometry/Properties.lean
feat(AlgebraicGeometry/AffineSpace): affine space over an integral base is integral (#39665) …
Added AlgebraicGeometry.IsReduced.iff_of_openCoverView on Github →