Theorem FreeGroup.reduce_invRev

Modification history