Theorem Algebra.lift_cardinalMk_adjoin_le

Modification history

2024-11-23 04:58
Mathlib/Algebra/FreeAlgebra/Cardinality.lean
feat: add `(Algebra|IntermediateField).lift_cardinalMk_adjoin_le` (#19327) …
Added Algebra.lift_cardinalMk_adjoin_leView on Github →