Theorem Fin.snoc_eq_cons_rotate

Modification history