Theorem Heyting.isRegular_of_decidable

Modification history