Theorem Nat.count_le_setNCard

Modification history

2025-03-15 00:24
Mathlib/SetTheory/Cardinal/NatCount.lean
feat: move Nat.count_le_cardinal, add variants (#22938)
Added Nat.count_le_setNCardView on Github →