Theorem Monotone.covariant_of_const'

Modification history