Theorem Fin.lt_castPred_succ_iff

Modification history