Theorem Fin.snoc_comp_cast_succ

Modification history