Theorem StrictWeakOrder.not_lt_of_equiv'

Modification history