Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.independent_of_coprime_order

Modification history

2022-08-17 14:53
src/group_theory/noncomm_pi_coprod.lean
chore(group_theory/*): Fix lint (#16095) …
Modified subgroup.independent_of_coprime_orderView on Github →
2022-03-16 11:53
src/group_theory/noncomm_pi_coprod.lean
feat(group_theory/noncomm_pi_coprod): homomorphism from pi monoids or groups (#11744)
Added subgroup.independent_of_coprime_orderView on Github →