Theorem FreeGroup.Red.append_append_left_iff

Modification history