Theorem FreeMonoid.ofList_smul

Modification history