Def antisymm_of_asymm

Modification history