You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
“If the closest A-worlds do not overlap with the B-worlds at all, then A \cif B.”
I think it’s clearly meant to say the opposite. Changed to “… A \cif B is false.”
(I really hope I’m doing this right! First time github user.)
0 commit comments