Theorem FreeMonoid.countP'_mul

Modification history