Mathlib Changelog
v4
Changelog
About
Github
Theorem
imo2006_q3
Modification history
2023-06-17 05:05
Archive/Imo/Imo2006Q3.lean
feat: port Archive.Imo.Imo2006Q3 (#5123)
Added
imo2006_q3
View on Github →