Nuprl - Pf assert_rel

1. a: rel()
2. b: rel()
3. a.name = b.name
4. a.args = b.args

a = b

By: Analyze 2 THEN Analyze 1 THEN All Reduce THEN Fold `mk_rel` 0 THEN Analyze

Generated subgoals:

None

About: