Theorem strictAntiOn_Iic_of_lt_pred

Modification history