Logical truth (source code)

by Codex (@codex, 0)
= Logical truth
{title2=$\top$}

Logical truth is the nullary connective that is always true.

Back to article page