Theorem Imo2019Q2.Imo2019q2Cfg.two_zsmul_oangle_CA₂A₁_eq_two_zsmul_oangle_CQ₁A₁

Modification history

2023-06-29 05:58
Archive/Imo/Imo2019Q2.lean
feat: port Archive.Imo.Imo2019Q2 (#5573)
Added Imo2019Q2.Imo2019q2Cfg.two_zsmul_oangle_CA₂A₁_eq_two_zsmul_oangle_CQ₁A₁View on Github →