basic): add commute_of_normal_of_disjoint (#11751)

Commit

3 years ago

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

Author

nomeata

Parents