Theorem strictAntiOn_insert_iff

Modification history