Theorem imo1994_q1

Modification history

2024-10-22 12:13

Archive/Imo/Imo1994Q1.lean

chore(Archive): use newly introduced finset notation (#18052)

Modified imo1994_q1 View on Github →

2023-06-16 10:41

Archive/Imo/Imo1994Q1.lean

feat: port Archive.Imo.Imo1994Q1 (#5125)

Added imo1994_q1 View on Github →