Theorem Set.eqOn_of_leftInvOn_of_rightInvOn

Modification history