Theorem Set.AntitoneOn_insert_iff

Modification history