Theorem contravariant_le_iff_contravariant_lt_and_eq

Modification history