Theorem Fin.castSucc_pos'

Modification history