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

At: div elim 1 2

1. a:
2. n:

(a n) = (a n)

By: Auto

Generated subgoals:

None


About:
intdivideequal

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