analytic proof

proof that does not use the cut rule

카테고리: