Theorem Set.InvOn.symm

Modification history