Theorem antisymmRel_swap

Modification history