Nuprl - mb_event_system_7 LEMMAs for edge_DASH_inv_DASH

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Rank	Theorem	Name
2	Thm* G:(Id), to,from:(\|G\|(IdLnk List)), e:Edge(G), i:\|G\|. Thm* bi-graph(G;to;from) ((inverse(e) from(i)) destination(e) = i)	[edge-inv-from]
cites the following:
1	Thm* G:(Id), to,from:(\|G\|(IdLnk List)), e:Edge(G), i:\|G\|. Thm* bi-graph(G;to;from) ((e from(i)) source(e) = i)	[edge-from]
0	Thm* l:IdLnk. source(lnk-inv(l)) = destination(l)	[lsrc-inv]

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html