Theorem covariant_le_of_covariant_lt

Modification history