Theorem Covariant.monotone_of_const

Modification history