Theorem Heyting.Regular.coe_inj

Modification history