mathlib3
b4664910
- Revert "Restore original `data/nat/multiplicity`"
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Revert "Restore original `data/nat/multiplicity`" This reverts commit bd7cb5d457ebc7f9d0aaf9f3fa6768ab2d02493f.
Author
stuart-presnell
Parents
bd7cb5d4
Loading