is mentioned by

Thm* L:Top List, n:{0...||L||}. (firstn(n;L) @ nth_tl(n;L)) ~ L

[append_firstn_lastn_sq]

In prior sections: int 1 list 1 mb list 1

Try larger context: Graphs