Theorem Nat.count_le_cardinal

Modification history

2025-03-15 00:24

Mathlib/Data/Nat/Count.lean

feat: move Nat.count_le_cardinal, add variants (#22938)

Modified Nat.count_le_cardinal View on Github →

2023-02-14 08:18

Mathlib/Data/Nat/Count.lean

feat: port Data.Nat.Count (#2209)

Added Nat.count_le_cardinal View on Github →