mathlib3
be21b9a4
- fix(data/nat/basic): use protected attribute (#2976)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(data/nat/basic): use protected attribute (#2976) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>
Author
robertylewis
Parents
516d9b54
Loading