Theorem Fin.castSucc_pos_iff

Modification history