(3steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: multiply nat wf 2
1. i:
2. j:

0ij
By: NatInd 2
Generated subgoals:

None

About:
natural_numbermultiply

(3steps) PrintForm Definitions int 2 Sections StandardLIB Doc