Theorem FreeGroup.invRev_empty

Modification history