Skip to content

[Merged by Bors] - feat(Trigonometric): add lemmas about cos x = -1 ↔ _ etc#9878

Closed
urkud wants to merge 1 commit intomasterfrom YK-sincos-eq-one
+27-2

Commits

Commits on Jan 20, 2024