P
Initializing...
The diagonal embedding $\iota : E \to U$ is injective · Prove2Me