Theorem Nat.nth_of_forall

Modification history

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