Nuprl Rule : baseClosed

This rule proved as lemma rule_base_closed_true in file rules/rules_base.v at https://github.com/vrahli/NuprlInCoq

   ⊢ t = t ∈ Base

  BY baseClosed ()

  No Subgoals

Latex:
\mvdash{} t = t BY baseClosed () No Subgoals Date html generated: 2019_06_20-PM-04_11_44 Last ObjectModification: 2017_11_30-PM-00_24_24 Theory : rules Home Index