Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.sinh_square

Modification history

2021-04-28 19:37

src/data/complex/exponential.lean

chore(*): use `sq` as convention for "squared" (#7368) …

Deleted complex.sinh_square View on Github →

2020-10-13 02:01

src/data/complex/exponential.lean

feat(archive/imo): formalize IMO 1962 problem 4 (#4518) …

Added complex.sinh_square View on Github →