Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
pnat.find_lt_iff
Modification history
2022-03-16 10:05
src/data/pnat/find.lean
feat(data/pnat/find): port over `nat.find` API (#12413) …
Added
pnat.find_lt_iff
View on Github →