Skip to content
GitLab
Explore
Sign in
AVA
Dandelion
Issues
#10
Prove the cheated lemmas about `deg` and `coeff` in realPolyProofs