Theorem FreeMonoid.lift_eval_of

Modification history