Description: Addition and subtraction of equals. Compare pncan2 . (Contributed by Steven Nguyen, 8-Jan-2023)
Ref | Expression | ||
---|---|---|---|
Assertion | repncan2 |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | eqid | ||
2 | readdcl | ||
3 | simpl | ||
4 | simpr | ||
5 | 2 3 4 | resubaddd | |
6 | 1 5 | mpbiri |