[Merged by Bors] - feat(AlgebraicGeometry/Birational): composition of rational maps#39445

justus-springer wants to merge 37 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/rationalMap_compositionjustus-springer/mathlib4:justus/rationalMap_compositionCopy head branch name to clipboard