Commit 2021-04-22 20:22 b401f074
View on Github →feat(src/group_theory/subgroup): add closure.submonoid.closure (#7328)
subgroup.closure S
equals submonoid.closure (S ∪ S⁻¹)
.
feat(src/group_theory/subgroup): add closure.submonoid.closure (#7328)
subgroup.closure S
equals submonoid.closure (S ∪ S⁻¹)
.