Fixed issues in the definitions in the realPolyScript file and proved... (!16) · Merge requests · AVA / Dandelion

Mohit Tekriwal requested to merge fix_cheats into master Aug 23, 2021

Fixed issues in the definitions in the realPolyScript file and proved cheated lemmas in the sturmComputeScript

Fixed issues in the definitions in the realPolyScript file and proved...