Theorem Fin.update_snoc_last

Modification history