Theorem FreeMonoid.lift_restrict

Modification history