New sorts of a Morita extension are realised as products, coproducts, subsets and quotients

Initializing...

New sorts of a Morita extension are realised as products, coproducts, subsets and quotients · Prove2Me