[Merged by Bors] - feat(Algebra/Group/TypeTags): Add toMul_eq_one and toAdd_eq_zero#14097
Closed
wupr wants to merge 1 commit intomasterfrom toadd-eq-zero
Commits
Commits on Jun 24, 2024
- committed
toMul_eq_one and toAdd_eq_zero#14097