basic): add normalizer_condition definition (#11587)

Commit

4 years ago

feat(group_theory/subgroup/basic): add normalizer_condition definition (#11587) and an equivalent formula that is a bit easier to work with.

Author

nomeata

Parents