Theorem contravariant_le_of_contravariant_eq_and_lt

Modification history