Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.cos_sub_two_pi

Modification history

2021-06-14 21:50

src/analysis/special_functions/trigonometric.lean

feat(analysis/special_functions/trigonometric): facts about periodic trigonometric functions (#7841) …

Added complex.cos_sub_two_pi View on Github →