mathlib
9c2b8903 - feat(group_theory/sylow): API lemmas for smul and subtype (#14521)

Commit

3 years ago

feat(group_theory/sylow): API lemmas for smul and subtype (#14521) This PR adds some API lemmas for smul and subtype.

Author

tb65536

Parents