Def EmptyOrUniv

Modification history