Theorem FreeGroup.reduce.sound

Modification history