Theorem Nat.count_nth_succ_of_infinite

Modification history

2026-07-17 09:57

Mathlib/Data/Nat/Nth.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Modified Nat.count_nth_succ_of_infinite View on Github →

2024-11-11 10:06

Mathlib/Data/Nat/Nth.lean

feat(Data/Nat/Nth): `count_nth_succ_of_infinite` (#18835) …

Added Nat.count_nth_succ_of_infinite View on Github →