$\operatorname{Fin}$ Is Neither $\Sigma_1$ Nor $\Pi_1$ - Androma

$\operatorname{Fin}$ Is Neither $\Sigma_1$ Nor $\Pi_1$

$\operatorname{Fin}$ Is Neither $\Sigma_1$ Nor $\Pi_1$

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request