Theorem exists_and_iff_of_antitone

Modification history