Theorem Heyting.Regular.coe_sup

Modification history