Theorem FreeGroup.reduce.min

Modification history