http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
In this video we go over 3 examples that illustrate how to use previously proven theorems, assumptions, properties of real numbers, variables, and operations as a reason in a proof.
Title from resource description page (viewed April 24, 2020).