Theorem Heyting.Regular.coe_to_regular

Modification history