mbk/analytic-trigonometry
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
analytic-trigonometry/lean-toolchain

2 lines
36 B
Text
Raw Permalink Normal View History

tan² θ + 1 = sec² θ but only if cos² θ ≠ 0??
2023-02-22 22:17:27 -05:00
leanprover/lean4:nightly-2023-02-10
Reference in a new issue Copy permalink