Theorem Fin.castPred_succAbove_castPred

Modification history