1.5.5, Reasoning about lists

From James Richard Thompson  

views comments