Structure Imo1960Q2.IsGood

Modification history

2024-01-31 03:53
Archive/Imo/Imo1960Q2.lean
feat: formalize IMO 1960 Q2 (#9885)
Added Imo1960Q2.IsGoodView on Github →