Theorem FreeGroup.inv_bind

Modification history