Theorem FreeGroup.reduce.red

Modification history