mathlib3
78a20ffc
- feat(data/buffer/parser/basic): nat_eq_done (#6340)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(data/buffer/parser/basic): nat_eq_done (#6340) The `nat` parser gives the maximal possible numeral.
Author
pechersky
Parents
5263ea32
Loading