PrintForm Definitions graph 1 1 Sections Graphs Doc

At: map-map
f,g:Top, s:Top List. map(f;map(g;s)) ~ map(f o g;s)
By:
InductionOnList
THEN
Reduce 0
THEN
Analyze
THEN
Trivial
Generated subgoals:

None

About:
listsqequaltopall

PrintForm Definitions graph 1 1 Sections Graphs Doc