Mathlib Changelog
v4
Changelog
About
Github
Theorem
Imo2019Q2.Imo2019q2Cfg.affineIndependent_QPA₂
Modification history
2023-06-29 05:58
Archive/Imo/Imo2019Q2.lean
feat: port Archive.Imo.Imo2019Q2 (#5573)
Added
Imo2019Q2.Imo2019q2Cfg.affineIndependent_QPA₂
View on Github →