Theorem joinedIn_iff_joined

Modification history