Great job! The code looks good to me. I just have a few comments about the documentation.

Reviewed 5 of 5 files at r1.
Reviewable status: all files reviewed, 4 unresolved discussions (waiting on @SantiagoGiner)

---

Documentation/SymbolsAndFunctions/UtilityFunctions/AcyclicGraphTake.md, line 1 at r1 (raw file):

###### [Symbols and Functions](/README.md#symbols-and-functions) > Utility Functions >

This page should be added to the table of contents in the main README file.

---

Documentation/SymbolsAndFunctions/UtilityFunctions/AcyclicGraphTake.md, line 6 at r1 (raw file):

**`AcyclicGraphTake`** gives the intersectiom of the out-component of the first vertex
with the in-component of the second vertex;

The last character should be a ":", i.e., what follows is the example for this statement.

---

Documentation/SymbolsAndFunctions/UtilityFunctions/AcyclicGraphTake.md, line 15 at r1 (raw file):

```

The image cuts off the label "1" at the top. Might be another weed in the rasterizer, but you can use this image for now (the width is 478.2):

___ *[Documentation/SymbolsAndFunctions/UtilityFunctions/AcyclicGraphTake.md, line 21 at r1](https://reviewable.io/reviews/maxitg/setreplace/601#-MRfDOJ22YXcDTt-38aJ:-MRfDOJ22YXcDTt-38aK:b4ex42l) ([raw file](https://github.com/maxitg/setreplace/blob/a13e4fc950ad41e28cd0e7bf36b2f53265ed7763/Documentation/SymbolsAndFunctions/UtilityFunctions/AcyclicGraphTake.md#L21)):* > ```Markdown > ``` > >

> ```

The same here, the width is 232.2, the image is:

I wonder if smaller sizes you are getting have something to do with scaling.

When you merge the PR, make sure to copy the PR comment (the one explaining the changes in Markdown) to the commit comment (in the field that would appear after clicking the "Squash and merge" button). This way, history is easy to understand everywhere it appears.

Reviewed 4 of 4 files at r2.
Reviewable status: complete! all files reviewed, all discussions resolved