Theorem FreeProduct.Word.rcons_inj

Modification history