Theorem FreeGroup.reduce.not

Modification history