Theorem Nat.count_true

Modification history

2024-06-12 08:11
Mathlib/Data/Nat/Count.lean
feat: `@[simp]` `Nat.count` / `Nat.nth` of `fun _ ↦ True`, `False` (#13378)
Added Nat.count_trueView on Github →