Theorem Fin.castPred_lt_castPred

Modification history