Theorem FreeGroup.Red.Step.append_left_iff

Modification history