Theorem Suggestion: A non totally path disconnected, locally inj pathconnected Toronto space if size c is inj path connected.

[felixpernegger]

Proof follows immediately using Toronto, since something being inj path connected (and non discrete) implies it has card at least c.

Same with arcconnected ~and locally (1/n)-euclidean I think. EDIT: Actually there should be an implication ~discrete + Locally Euclidean + card = c => Toronto, since euclidean spaces are not toronto, see #1754

[prabau]

Can you also write the proposed theorem in the text at the top to make it easier to read?

[prabau]

@felixpernegger can you write the proposed theorem in the description at the top? It's difficult to figure out from the title.