Theorem Fin.append_cast_right

Modification history