mathlib3
2557d20a
- Update archive/imo/imo2014_q1.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Update archive/imo/imo2014_q1.lean Golfing Co-authored-by: Tian Chen <27919714+peakpoint@users.noreply.github.com>
References
#6954 - feat(archive/imo): add 2014 Q1
Author
vihdzp
Parents
ed278dcc
Loading