Theorem FreeMonoid.ofList_append

Modification history