mathlib
0ec0b501 - Remove unnecessary lemmas

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

Remove unnecessary lemmas

References

#7813 - feat(data/nat/digits): Add lemmas

Author

Pazzaz

Pazzaz

Parents

FAQ Terms Privacy Refunds Impressum

Loading