Theorem FreeMonoid.ofList_map

Modification history