Theorem Heyting.isRegular_top

Modification history