Theorem ENat.card_ne_zero_iff_nonempty

Modification history

2025-05-09 11:08
Mathlib/SetTheory/Cardinal/Finite.lean
chore(LinearAlgebra): generalize some lemmas (#23729) …
Added ENat.card_ne_zero_iff_nonemptyView on Github →