feat(RingTheory/MvPolynomial/Ideal): introduce new lemmas about MvPolynomial Ideals #65500
Triggered via issue
November 18, 2024 15:28
riccardobrasca
Status
Skipped
Total duration
4s
Artifacts
–
add_label_from_comment.yml
on: issue_comment
Add ready-to-merge label
0s
Add delegated label
0s