Theorem FreeMonoid.countP'_one

Modification history