P
Initializing...
Separating example: the two theories are not Morita equivalent · Prove2Me