Theorem FreeGroup.Red.inv_of_red_of_ne

Modification history