Proposition
A mathematical statement with a truth value.
atlas-proposition · canonical_mko
Proposition
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data