Theorem FreeGroup.lift_eq_prod_map

Modification history