Theorem antitone_iff_map_nonpos

Modification history