On the cohomology of pro-fusion systems
We prove the Cartan-Eilenberg stable elements theorem and construct a Lyndon-Hochschild-Serre type spectral sequence for pro-fusion systems. As an application, we determine the continuous mod-$p$ cohomology ring of $\text{GL}_2(\mathbb{Z}_p)$ for any odd prime $p$.