CPCTC proof

by JJ Paoletti on Nov 18, 2015