Def Nat.findGreatest

Modification history

2024-07-16 00:30

Mathlib/Data/Nat/Defs.lean

chore: move Nat.find/findGreatest into their own file (#11891) …

Modified Nat.findGreatest View on Github →

2024-01-10 08:02

Mathlib/Data/Nat/Defs.lean

refactor: Split off basic `Nat` file (#9551) …

Added Nat.findGreatest View on Github →