I am new to Coq, I have f1 & f2 two functions whose input and output arguments are natural number.I want to ask that what ever be the output value of f1 and f2. Result s
