Theorem Cardinal.exists_finset_eq_card

Modification history

2025-11-28 14:12

Mathlib/SetTheory/Cardinal/Basic.lean

feat(LinearAlgebra): rank of commutative semiring over itself (#32123)

Added Cardinal.exists_finset_eq_card View on Github →