Comment Comment by namin Ha. At least you can check the theorem statements and see that the proofs verify :) parent namin 8 months ago
