Skip to content

[Merged by Bors] - feat(AlgebraicGeometry/Birational): dominant rational maps#39317

Closed
justus-springer wants to merge 11 commits into
leanprover-community:masterfrom
justus-springer:justus/rationalMap_dominant
Closed

[Merged by Bors] - feat(AlgebraicGeometry/Birational): dominant rational maps#39317
justus-springer wants to merge 11 commits into
leanprover-community:masterfrom
justus-springer:justus/rationalMap_dominant

Update Mathlib/AlgebraicGeometry/Birational/Dominant.lean

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