Theorem Nat.nth_false

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_falseView on Github →