Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
real.inv_sqrt_one_add_tan_sq
Modification history
2020-12-10 21:44
src/data/complex/exponential.lean
chore(data/complex/exponential): add `inv_one_add_tan_sq` etc (#5299) …
Added
real.inv_sqrt_one_add_tan_sq
View on Github →