Theorem Fin.append_left_snoc

Modification history