Theorem Fin.append_left_eq_cons

Modification history