Theorem Fin.append_comp_rev

Modification history