PrintForm Definitions assignment Sections ClassicalProps(jlc) Doc

At: Assignment inc

Assignment (Var)
By:
Unfold `Assignment` 0
THEN
UnfoldTopAb 0
Generated subgoals:

None

About:
function