Theorem monotone_iff_forall_covby

Modification history