Theorem FreeMonoid.of_smul

Modification history