(3steps) PrintForm int 2 Sections StandardLIB Doc

At: zero ann b 1
1. a:
2. b:
3. a = 0

ab = 0
By: HypSubst 3 0
Generated subgoals:

None

About:
intnatural_numbermultiplyequal

(3steps) PrintForm int 2 Sections StandardLIB Doc