Theorem strictAntiOn_Iic_of_succ_lt

Modification history