Theorem FreeProduct.Word.cons_eq_rcons

Modification history