Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-12-03 22:32
d4ebdc81
View on Github →
chore(algebra/group/conj): move out results about finiteness (
#17789
)
Estimated changes
Modified
counterexamples/direct_sum_is_internal.lean
Modified
src/algebra/group/conj.lean
Created
src/algebra/group/conj_finite.lean
Modified
src/data/zmod/basic.lean
Modified
src/group_theory/commuting_probability.lean
Modified
src/group_theory/specific_groups/alternating.lean
Modified
src/number_theory/legendre_symbol/mul_character.lean