Commit 2022-09-30 08:02 001ba509

feat(ring_theory/fractional_ideal): simp lemmas for fractional_ideal.canonical_equiv (#16702) Some lemmas I needed for working with the class group of a ring of integers.