Theorem FreeGroup.invRev_injective

Modification history