Def Heyting.Regular

Modification history