Skip to content

feat(AlgebraicGeometry/AffineSpace): affine space is smooth#39710

Open
justus-springer wants to merge 3 commits into
leanprover-community:masterfrom
justus-springer:justus/AffineSpace_smooth
Open

feat(AlgebraicGeometry/AffineSpace): affine space is smooth#39710
justus-springer wants to merge 3 commits into
leanprover-community:masterfrom
justus-springer:justus/AffineSpace_smooth

Merge branch 'master' into justus/AffineSpace_smooth

2eecea4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 30, 2026 in 1m 22s