Theorem strictMonoOn_Iic_of_pred_lt

Modification history