Theorem FreeMonoid.ofList_comp_toList

Modification history