Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-18 20:57 33483a3d

View on Github →

chore(analysis/special_functions/trigonometric): golf a few more proofs (#5423)

Estimated changes

Modified src/analysis/special_functions/trigonometric.lean

added theorem complex.cos_eq_iff_quadratic

Modified src/data/complex/basic.lean

added theorem complex.int_cast_abs