Theorem Heyting.isRegular_bot

Modification history