Theorem FreeGroup.invRev_bijective

Modification history