Theorem Heyting.Regular.toRegular_coe

Modification history