Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-17 16:08 b145c36f

View on Github →

feat(archive/imo): variant solution to IMO 1962 problem 4 (#4640) Continuation of a discussion at #4518

Estimated changes

added theorem formula
added theorem imo1962_q4'
added theorem solve_cos2x_0