Theorem Fin.predAbove_castPred_of_lt

Modification history