New approach for graph theory (continued)
New approach for graph theory (continued)

Main set.mm:
* ~ssfid, ~fvresd moved from GS's mathbox to main set.mm

AV's Mathbox:
* ~1wlkslem1, ~1wlkslem2 added, some proofs shortened by them
* ~iedginwlk, ~1wlkl1loop, ~clwlkl1loop  added
* definition of ClWWalkS and ClWWalkSN revised: the empty word representing a closed walk makes no sense
* revision of additional theorems for closed walks as words

metamath/set.mm,metamath/set.mm,metamath/set.mm