Nuprl - Proof: rem antisym

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: rem antisym

, b:

. ((-a) rem b) = -(a rem b)

By:	SimilarTo a:, b:. ((-a) rem b) = -(a rem b)

Generated subgoals:

1 1. a :
2. b :
((-a) rem b) = -(a rem b)
3 steps

2 1. a :
2. b:. ((-a) rem b) = -(a rem b)
3. b :
((-a) rem b) = -(a rem b)
3 steps

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

1	1. a : 2. b : ((-a) rem b) = -(a rem b)	3 steps
2	1. a : 2. b:. ((-a) rem b) = -(a rem b) 3. b : ((-a) rem b) = -(a rem b)	3 steps