Recent content by Mafaz

Thanks but what is this function for?

Thanks for your reply. So what is this example ? Is it for qoueint or reminder ?

thanks but I have difficulty to prove especially prime and divisibility . Actually I need to follow the question and to have base and inductive case. Would please help me.