Theorem Fin.snoc_rev

Modification history