Skip to content
lint and suggest

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

Sign in to view logs

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

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

Triggered via pull request January 20, 2024 23:21
@urkudurkud
opened #9878
YK-sincos-eq-one
Status Success
Total duration 40s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
31s
Lint style
Check all files imported
10s
Check all files imported
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint style
Process completed with exit code 123.