IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Rank | Theorem | Name |
| 5 | Thm* (A+ 0) ~ A | [card_nsub0_union_2] |
| cites the following: |
| 0 | Thm* (A+B) ~ (B+A) | [card_union_swap] |
| 4 | Thm* (0+A) ~ A | [card_nsub0_union] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
