Open dbosk opened 5 years ago
One variable is not a requirement for induction, it makes things easier, but it's not a requirement. (Thanks @Simon-Bouget !)
One variable is not a requirement for induction, it makes things easier, but it's not a requirement. (Thanks @Simon-Bouget !)