Theorem FreeMonoid.ofList_flatten

Modification history