Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-19 19:16 3c6f16c3

View on Github →

feat(algebra/group/conj): instances + misc (#13943)

Estimated changes

Modified src/algebra/group/conj.lean

added theorem is_conj_comm

Modified src/group_theory/commuting_probability.lean

modified theorem card_comm_eq_card_conj_classes_mul_card