feat(AlgebraicGeometry/AffineSpace): affine space is smooth#39710
Open
justus-springer wants to merge 3 commits into
Open
feat(AlgebraicGeometry/AffineSpace): affine space is smooth#39710justus-springer wants to merge 3 commits into
justus-springer wants to merge 3 commits into
Commits
Commits on May 22, 2026
- committed
- committed
