Theorem FreeMonoid.ofList_singleton

Modification history