Def antisymmetrization

Modification history