Def isEmptyElim

Modification history