mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/special_functions/trigonometric/angle): more on angles equal or not equal to 0 or π

Open jsm28 opened this issue 3 years ago • 0 comments

We have various lemmas giving conditions for an angle to equal 0 or π. Add some more such lemmas, plus negated versions of existing lemmas giving conditions for angles not to equal 0 or π.

Open in Gitpod

jsm28 avatar Aug 14 '22 19:08 jsm28