Theorem Heyting.Regular.coe_himp

Modification history