Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
v:Atom.
e:Exp. v := e
Applied Tactic:
Unfolds ``assig com`` 0 THEN UnivCD THENM MemTypeCD THEN Auto
Generated subgoals:
None
v:Atom. e:Exp. v := e 
