Def infClosure

Modification history