# Commit 2021-04-06 18:32 5f0dbf65

View on Github →feat(algebra/group/conj): `is_conj`

for `monoid`

s, `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`

feat(algebra/group/conj): `is_conj`

for `monoid`

s, `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`