Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.independent_range_of_coprime_order

Modification history

2022-08-17 14:53
src/group_theory/noncomm_pi_coprod.lean
chore(group_theory/*): Fix lint (#16095) …
Modified monoid_hom.independent_range_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 monoid_hom.independent_range_of_coprime_orderView on Github →