mathlib
97f61dfd - feat(group_theory/sylow): preimages of sylow groups (#11722)

Commit

3 years ago

feat(group_theory/sylow): preimages of sylow groups (#11722) Co-authored-by: tb65536 <tb65536@uw.edu>

Author

nomeata

Parents