The assignment
of Item 1 of Proposition 2.3.9.1.2 and Item 1 of Proposition 2.4.7.1.3 satisfy several properties reminiscent of a six functor formalism in the sense of 
.
We collect these properties in Proposition 2.6.4.1.2 below.
Here's a breakdown of the differences between each PDF style:
| Style | Class | Font | Theorem Environments |
|---|---|---|---|
| Style 1 | book |
Alegreya Sans | tcbthm |
| Style 2 | book |
Alegreya Sans | amsthm |
| Style 3 | book |
Arno* | amsthm |
| Style 4 | book |
Computer Modern | amsthm |
*To be replaced with Linus Romer's Elemaints when it is released.
The assignment
of Item 1 of Proposition 2.3.9.1.2 and Item 1 of Proposition 2.4.7.1.3 satisfy several properties reminiscent of a six functor formalism in the sense of .
We collect these properties in Proposition 2.6.4.1.2 below.
