Theorem Imo1960Q2.isGood_iff

Modification history

2026-01-08 15:08
Archive/Imo/Imo1960Q2.lean
chore(Archive,Counterexamples): find whitespace (#33759) …
Modified Imo1960Q2.isGood_iffView on Github →
2024-01-31 03:53
Archive/Imo/Imo1960Q2.lean
feat: formalize IMO 1960 Q2 (#9885)
Added Imo1960Q2.isGood_iffView on Github →