Commit 2026-06-03 16:18 258731d3
View on Github →feat(AlgebraicGeometry/AffineSpace): affine space over an integral base is integral (#39665)
Prove that AffineSpace inherits the properties IrreducibleSpace, IsReduced and IsIntegral from its base.
Also clean up a few variables, that were used very scarcely. These were causing weird issues in these new instances, where they would be automatically included.