Theorem Fin.snoc_init_self

Modification history