Theorem Heyting.Regular.coe_le_coe

Modification history