Theorem FreeMonoid.ofList_cons

Modification history