Theorem Fin.snoc_cast_succ

Modification history