Theorem Fin.append_cast_left

Modification history