Theorem monotone_iff_forall_wcovby

Modification history