Theorem strictAntiOn_Ici_of_lt_pred

Modification history