(13steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: mul cancel in eq 1 1 1 2
1. a:
2. b:
3. m:
4. ma = mb
5. a = b

a = b
By: Trivial
Generated subgoals:

None

About:
intmultiplyequal

(13steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc