Skip to content
Post PR summary comment

[Merged by Bors] - feat(RingTheory/Localization/FractionRing): Lifting AlgEquivs to the field of fractions #27814

Sign in to view logs

[Merged by Bors] - feat(RingTheory/Localization/FractionRing): Lifting AlgEquivs to the field of fractions

[Merged by Bors] - feat(RingTheory/Localization/FractionRing): Lifting AlgEquivs to the field of fractions #27814

build

build
succeeded Oct 31, 2024 in 44s