Theorem Heyting.Regular.coe_bot

Modification history