Theorem covariant_lt_of_covariant_le_of_contravariant_eq

Modification history