Return true
if managed to close goal mvarId
using an assumption.
Equations
Instances For
Close goal mvarId
using an assumption. Throw error message if failed.
Return true
if managed to close goal mvarId
using an assumption.
Close goal mvarId
using an assumption. Throw error message if failed.