Theorem Fin.append_right

Modification history