P
Initializing...
The six functors satisfy the formalism (Theorem 1.2.4) · Prove2Me