mathlib
8d3e8b5b - feat(archive/imo): IMO 1977 Q6 (#7097)
Commit
View On GitHub
Commit
4 years ago
feat(archive/imo): IMO 1977 Q6 (#7097) Formalization of IMO 1977/6
Author
peakpoint peakpoint
Parents
456e5af8
FAQ Terms Privacy Refunds Impressum
Loading