Theorem acc_antisymmetrization_iff

Modification history