Theorem le_iff_lt_or_antisymmRel

Modification history