Closed ejgallego closed 2 months ago
We now return the file where the premise is defined, as well as its position and text.
Good as a first step.
We now return the file where the premise is defined, as well as its position and text.