Theorem Set.InjOn.rightInvOn_of_leftInvOn

Modification history