Examples function as proofs by instantiating definitions, verifying that conceptual content has actu...
This proposition has not been edited since the history system was added.