All Questions
Tagged with inductive-type natural-numbers
1
question
-2
votes
2
answers
119
views
Help with strong induction
I have the following definition of divisibility by 3.
...