Theorem Fin.snoc_comp_rev

Modification history