Theorem wellFounded_antisymmetrization_iff

Modification history