Skip to content
Autolabel PRs

feat(MvPolynomial): C a = 0 ↔ a = 0 #2620

Sign in to view logs

feat(MvPolynomial): C a = 0 ↔ a = 0

feat(MvPolynomial): C a = 0 ↔ a = 0 #2620

Triggered via pull request November 18, 2024 12:25
@YaelDilliesYaelDillies
opened #19202
mv_poly_c_eq_zero
Status Success
Total duration 52s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
43s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-algebra]
Add topic label
added label: t-algebra