Theorem Heyting.Regular.coe_inf

Modification history