Theorem FreeProduct.Word.fstIdx_ne_iff

Modification history