Theorem Heyting.Regular.coe_sdiff

Modification history