Fix quotient so invariant is not applied in wrong rules#146

seblund wants to merge 1 commit into

mainEcdar/Reveaal:mainfrom

quotient-rule-fixEcdar/Reveaal:quotient-rule-fixCopy head branch name to clipboard