Step
*
of Lemma
rec-value-value-type
value-type(rec-value())
BY
{ (BLemma `valueall-type-value-type` THEN Auto) }
Latex:
Latex:
value-type(rec-value())
By
Latex:
(BLemma  `valueall-type-value-type`  THEN  Auto)
Home
Index