P
Initializing...
Proposition 27 — $B\setminus\{e\}$ is a base of $M/e$ · Prove2Me