Theorem Heyting.Regular.to_regular_coe

Modification history