Theorem Fin.succAbove_castPred_of_lt

Modification history