Theorem Imo1962Q4.formula

Modification history

2023-10-14 06:04

Archive/Imo/Imo1962Q4.lean

chore(Archive,Counterexamples): use `Type*` not `Type _` (#7663) …

Modified Imo1962Q4.formula View on Github →

2023-06-16 10:52

Archive/Imo/Imo1962Q4.lean

feat: port Archive.Imo.Imo1962Q4 (#5130)

Added Imo1962Q4.formula View on Github →