Comment Comment by jjgreen See Principia Mathematica, A. N. Whitehead and B. Russell, Proposition 110.643 parent jjgreen 6 years ago
