Theorem FreeMonoid.ofList_toList

Modification history