Theorem Heyting.Regular.coe_compl

Modification history