mathlib3
24ebc5cd - feat(group_theory/sylow): the cardinality of a sylow group (#11776)

Commit

3 years ago

feat(group_theory/sylow): the cardinality of a sylow group (#11776) Co-authored-by: tb65536 <tb65536@users.noreply.github.com>

Author

nomeata

Parents