Localizing a finite-support kernel: the extension to `S` of the finite-support kernel is the infimum, over the points `i` that survive in `S`, of the transported completed ideals, the other points col

Initializing...

Localizing a finite-support kernel: the extension to `S` of the finite-support kernel is the infimum, over the points `i` that survive in `S`, of the transported completed ideals, the other points col · Prove2Me