Theorem Heyting.isRegular_of_boolean

Modification history