Theorem Heyting.isRegular_compl

Modification history