Theorem Imo1962Q4.solve_cos2x_0

Modification history

2023-06-16 10:52
Archive/Imo/Imo1962Q4.lean
feat: port Archive.Imo.Imo1962Q4 (#5130)
Added Imo1962Q4.solve_cos2x_0View on Github →