Theorem well_founded_antisymmetrization_iff

Modification history