Theorem Fin.append_right_cons

Modification history