Theorem FreeGroup.Red.reduce_left

Modification history