Step
*
of Lemma
unit_subtype_base
Unit ⊆r Base
BY
{ ((D 0 THENA Auto) THEN D 1 THEN Auto) }
Latex:
Latex:
Unit  \msubseteq{}r  Base
By
Latex:
((D  0  THENA  Auto)  THEN  D  1  THEN  Auto)
Home
Index