Commit 2022-09-30 08:02 acd02bbd
View on Github →feat(algebra/hom/equiv): two little simp lemmas for units.map_equiv (#16701)
Two lemmas I needed for working with the class group of rings.
feat(algebra/hom/equiv): two little simp lemmas for units.map_equiv (#16701)
Two lemmas I needed for working with the class group of rings.