Theorem Fin.castPred_eq_iff_eq_castSucc

Modification history