Theorem Imo1987Q1.main

Modification history

2024-05-27 08:32

Archive/Imo/Imo1987Q1.lean

chore: Use the new `∑ i ∈ s, f i` notation (#13209) …

Modified Imo1987Q1.main View on Github →

2023-06-19 07:36

Archive/Imo/Imo1987Q1.lean

feat: port Archive.Imo.Imo1987Q1 (#5091)

Added Imo1987Q1.main View on Github →