Step
*
1
1
of Lemma
cdrng_properties
1. r : CRng
2. [%1] : IsEqFun(|r|;=b)
⊢ IsEqFun(|r|;=b)
BY
{ UnhideSqStableHyp 2 THEN Auto }
Latex:
Latex:
1. r : CRng
2. [\%1] : IsEqFun(|r|;=\msubb{})
\mvdash{} IsEqFun(|r|;=\msubb{})
By
Latex:
UnhideSqStableHyp 2 THEN Auto
Home
Index