Theorem FreeGroup.reduce.self

Modification history