Theorem JoinedIn.symm

Modification history