mathlib
e1902256
- feat(data/rat/meta_defs, meta/expr): rat.to_pexpr and int.to_pexpr (#14002)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(data/rat/meta_defs, meta/expr): rat.to_pexpr and int.to_pexpr (#14002) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>
Author
robertylewis
Parents
e0dd3003
Loading