Commit 2024-11-13 21:29 142ded15
View on Github →feat(Archive/Imo): IMO 1963 Q5 (#18789)
proves the equality cos (π / 7) - cos (2 * π / 7) + cos (3 * π / 7) = 1 / 2.
feat(Archive/Imo): IMO 1963 Q5 (#18789)
proves the equality cos (π / 7) - cos (2 * π / 7) + cos (3 * π / 7) = 1 / 2.