Theorem Heyting.Regular.coe_top

Modification history