Theorem monovary_iff_exists_antitone

Modification history