Nuprl - Pf mul_preserves_le 1 1

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

At: mul preserves le 1 1

1. a:
2. b:
3. ab

0a0b

By: Auto

Generated subgoals:

None

About:

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