Skip to content

feat(AlgebraicGeometry/Birational): add birational maps#40871

Open
justus-springer wants to merge 44 commits into
leanprover-community:masterfrom
justus-springer:justus/birational_maps
Open

feat(AlgebraicGeometry/Birational): add birational maps#40871
justus-springer wants to merge 44 commits into
leanprover-community:masterfrom
justus-springer:justus/birational_maps

Commits

Commits on May 15, 2026

Commits on May 21, 2026

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 30, 2026

Commits on Jun 4, 2026

Commits on Jun 22, 2026

Commits on Jun 27, 2026

Commits on Jul 10, 2026

Commits on Jul 11, 2026

Commits on Jul 13, 2026

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Commits on Jul 22, 2026