PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
mapoutl
wf
A,B:Type, s:(A+B) List. mapoutl(s)
A List
By:
Unfold `mapoutl` 0
THEN
All Reduce
THEN
Analyze -1
THEN
Unhide
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
A,B:Type, s:(A+B) List. mapoutl(s) 
A List
