solveSub

write a function that, given integers a and b, returns an integer x such that a - x = b

Function Signature

import Init.Data.Int

def solveSub(a b:Int): Int

Theorem Signature

theorem solveSub_correct(a b:Int): a - (solveSub a b)=b

View All Submissions

Please log in or register to submit a solution for this challenge.