mathlib3
a32b0d37 - feat(group_theory/p_group): p-groups with different p are disjoint (#11752)

Commit

3 years ago

feat(group_theory/p_group): p-groups with different p are disjoint (#11752)

Author

nomeata

nomeata

Parents

Loading