Step
*
1
1
of Lemma
dmon_properties
1. g : Mon
2. [%1] : IsEqFun(|g|;=
b
)
⊢ IsEqFun(|g|;=
b
)
BY
{ (Unhide THEN Auto) }
Latex:
Latex:
1. g : Mon
2. [\%1] : IsEqFun(|g|;=\msubb{})
\mvdash{} IsEqFun(|g|;=\msubb{})
By
Latex:
(Unhide THEN Auto)
Home
Index