mathlib3
bbf57768 - feat(group_theory/sylow): The number of sylow subgroups is indivisible by p (#14313)

Commit

3 years ago

feat(group_theory/sylow): The number of sylow subgroups is indivisible by p (#14313) A corollary of Sylow's third theorem is that the number of sylow subgroups is indivisible by p.

Author

tb65536

Parents

7a6d8505

mathlib3 bbf57768 - feat(group_theory/sylow): The number of sylow subgroups is indivisible by p (#14313)

mathlib3
bbf57768 - feat(group_theory/sylow): The number of sylow subgroups is indivisible by p (#14313)