Commit 2022-04-26 18:41 76de6f75
View on Github →feat(group_theory/subsemigroup/operations): port from submonoid (#12112)
Taken from group_theory.submonoid.operations
, trying to keep as much API as possible
feat(group_theory/subsemigroup/operations): port from submonoid (#12112)
Taken from group_theory.submonoid.operations
, trying to keep as much API as possible