Theorem FreeGroup.Red.append_append

Modification history