[Merged by Bors] - feat(AlgebraicGeometry/Birational/RationalMap): add RationalMap.representative#39656

justus-springer wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/rationalMap_representativejustus-springer/mathlib4:justus/rationalMap_representativeCopy head branch name to clipboard