Mathlib Changelog
v3
Changelog
About
Github
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