Theorem Coheyting.inf_hnot_self

Modification history