Theorem FreeMonoid.ofList_symm

Modification history