Theorem Fin.castLT_eq_castPred

Modification history