SP20:Lecture 22 Inductively defined sets

From CS2800 wiki