Theorem FreeMonoid.ofList_join

Modification history