Theorem Imo1998Q2.JudgePair.agree_iff_same_rating

Modification history

2023-07-03 17:59
Archive/Imo/Imo1998Q2.lean
feat: port Archive.Imo.Imo1998Q2 (#5157)
Added Imo1998Q2.JudgePair.agree_iff_same_ratingView on Github →