Theorem Algebraic.cardinal_mk_le_mul
Modification history
2024-11-13 10:39
Mathlib/Algebra/AlgebraicCard.lean
chore: camel `cardinal_mk` (#18808) …
Deleted Algebraic.cardinal_mk_le_mulView on Github →2023-09-16 19:24
Mathlib/Algebra/AlgebraicCard.lean
feat(AddMonoidAlgebra*): add notation `R[A]` for `addMonoidAlgebra R A` (#7203) …
Modified Algebraic.cardinal_mk_le_mulView on Github →