01:24:59duration 1 hour 24 minutes
ECS20 - W22 - Lecture 13 (7T): Induction and…
ECS20 - W22 - Lecture 13 (7T): Induction and Recursion 2
Lecture 2022-02-15. A proof by strong induction:…