Theorem FreeGroup.lift.range_eq_closure

Modification history