semiconj): add `semiconj_by.reflexive` and `semiconj_by.transitive` (#8493)

Commit

4 years ago

feat(algebra/group/semiconj): add `semiconj_by.reflexive` and `semiconj_by.transitive` (#8493)

Author

urkud

Parents