Mathlib v3 is deprecated. Go to Mathlib v4

Def string.is_nat

Modification history

2020-10-09 13:16
src/data/string/defs.lean
feat(meta/expr): add parser for generated binder names (#4540) …
Added string.is_natView on Github →