basic): add pi subgroups (#11801)

Commit

3 years ago

feat(group_theory/subgroup/basic): add pi subgroups (#11801) Co-authored-by: Johan Commelin <johan@commelin.net>

References

Author

nomeata

Parents