mbk/analytic-trigonometry
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
1 commit 1 branch 0 tags 27 KiB
Lean 100%
Find a file
mehbark e67cdd3461 tan² θ + 1 = sec² θ but only if cos² θ ≠ 0??
2023-02-22 22:17:27 -05:00
lake-manifest.json tan² θ + 1 = sec² θ but only if cos² θ ≠ 0?? 2023-02-22 22:17:27 -05:00
lakefile.lean tan² θ + 1 = sec² θ but only if cos² θ ≠ 0?? 2023-02-22 22:17:27 -05:00
lean-toolchain tan² θ + 1 = sec² θ but only if cos² θ ≠ 0?? 2023-02-22 22:17:27 -05:00
TrigonometricAnalysis.lean tan² θ + 1 = sec² θ but only if cos² θ ≠ 0?? 2023-02-22 22:17:27 -05:00