Theorem Nat.nth_mem_of_infinite

Modification history

2026-07-17 09:57

Mathlib/Data/Nat/Nth.lean

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

Modified Nat.nth_mem_of_infinite View on Github →

2023-06-21 10:32

Mathlib/Data/Nat/Nth.lean

feat: port Data.Nat.Nth (#2297)

Added Nat.nth_mem_of_infinite View on Github →