Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebraic.aleph0_le_cardinalMk_of_charZero
Modification history
2025-04-23 20:10
Mathlib/Algebra/AlgebraicCard.lean
feat: generalize Mathlib.Algebra.BigOperators + CharP + Star + misc others (#23195) …
Modified
Algebraic.aleph0_le_cardinalMk_of_charZero
View on Github →
2024-11-13 10:39
Mathlib/Algebra/AlgebraicCard.lean
chore: camel `cardinal_mk` (#18808) …
Added
Algebraic.aleph0_le_cardinalMk_of_charZero
View on Github →