Theorem Fin.coe_succ_lt_iff_lt

Modification history