Theorem antitone_const

Modification history