mathlib
5223c74b
- 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 Fix typo Co-authored-by: Tian Chen <27919714+peakpoint@users.noreply.github.com>
References
#6954 - feat(archive/imo): add 2014 Q1
Author
vihdzp
Parents
89f39e3a
Loading
