GitHub repository: ucsd-cse230/00-induction-rkthomps
Description: ucsd-cse230-wi25-00-induction-00-lean-induction created by GitHub Classroom