Theorem inv_antitoneOn_Icc_right

Modification history