c-corn/corn — pull request #13 by aa755 (2014-12-30 00:12:45+00:00)
Title: added the Weak_IVTQ lemma which is a stronger variant of  CoRN.ftc.Stron...

...gIVT.Weak_IVT