Theorem imo1975_q1

Modification history

2026-08-25 20:09

Archive/Imo/Imo1975Q1.lean

chore(Archive/Imo): convert to the module system (#42962) …

Deleted imo1975_q1 View on Github →

2024-08-08 10:31

Archive/Imo/Imo1975Q1.lean

chore: backports for leanprover/lean4#4814 (part 36) (#15612)

Modified imo1975_q1 View on Github →

2023-06-17 11:54

Archive/Imo/Imo1975Q1.lean

feat: port Archive.Imo.Imo1975Q1 (#5179)

Added imo1975_q1 View on Github →