angle): `pi_ne_zero` (#16203)

Commit

3 years ago

feat(analysis/special_functions/trigonometric/angle): `pi_ne_zero` (#16203) Add the lemma that `(π : angle) ≠ 0`.

Author

jsm28

Parents