Theorem FreeGroup.invRev_involutive

Modification history