Theorem Fin.castSucc_lt_last

Modification history