Theorem FreeGroup.toWord_inj

Modification history