Theorem Monotone.comp_antitone

Modification history