mathlib3
671df0b7
- Remove non-terminal simps
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
Remove non-terminal simps
References
#6954 - feat(archive/imo): add 2014 Q1
Author
AdrianDoM
Parents
928d02c6
Loading
