These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.
Return the argument as Expressions. That is, if the argument is the
Judgment, yield its associated Expression. If it is an Expression,
yield just that. Otherwise, raise a TypeError.