Commit 2023-06-16 10:52 7530f586

View on Github →

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

Estimated changes

Modified Archive.lean

Created Archive/Imo/Imo1962Q4.lean

added def Imo1962Q4.ProblemEquation

added def Imo1962Q4.altFormula

added theorem Imo1962Q4.alt_equiv

added theorem Imo1962Q4.cos_sum_equiv

added theorem Imo1962Q4.finding_zeros

added theorem Imo1962Q4.formula

added def Imo1962Q4.solutionSet

added theorem Imo1962Q4.solve_cos2_half

added theorem Imo1962Q4.solve_cos2x_0

added theorem Imo1962Q4.solve_cos3x_0

added theorem imo1962_q4'

added theorem imo1962_q4