Commit 2021-04-06 18:32 5f0dbf65

View on Github →

feat(algebra/group/conj): is_conj for monoids, is_conj.setoid, and conj_classes (#6896) Refactors is_conj to work in a monoid Defines is_conj.setoid and its quotient type, conj_classes

Estimated changes