Theorem Set.LeftInvOn.mono

Modification history