Theorem Set.InvOn.mono

Modification history