Commit 2024-10-04 17:27 38cbcf05

View on Github →

feat(Algebra/Group/Equiv): add two simp lemmas for MulEquivClass (#17085) Add two simp lemmas for MulEquivClass.

Estimated changes