Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.cardinal_mk_eq_lift

Modification history

2022-08-17 00:31
src/data/mv_polynomial/cardinal.lean
feat(set_theory/cardinal): cardinality of `multiset`, `polynomial` and `mv_polynomial` (#15889) …
Added mv_polynomial.cardinal_mk_eq_liftView on Github →