Def Heyting.Regular.toRegular

Modification history