in mathematics, a statement that has been proved
Nothing in the MetaHistoryBook collection references this item yet.