Theorem Fin.lt_succ_castPred_iff

Modification history