This is an old revision of this page, as edited by Nrcimochowski (talk | contribs) at 17:37, 3 November 2017. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
⊨ {\displaystyle \models }
