nLab Sandbox

N:IfPis a theorem, then so isKP \mathbf{N} \colon \text{If}\; P \;\text{is a theorem, then so is}\; K P

Last revised on March 22, 2023 at 13:05:08. See the history of this page for a list of all contributions to it.