Def Heyting.IsRegular

Modification history