mathlib3
2220b0cb
- chore(data/buffer/parser/numeral): new int and rat parsers don't need to be meta (#15535)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
chore(data/buffer/parser/numeral): new int and rat parsers don't need to be meta (#15535)
Author
alexjbest
Parents
3c33aba3
Loading