sicpAns
sicpAns copied to clipboard
Exercise 2.19 's proof is loose