Closed GinoGiotto closed 1 year ago
Continuation of https://github.com/metamath/metamath-exe/pull/138.
The same categories of https://github.com/metamath/metamath-exe/pull/139 are applied, although I had to rely on my intuition to make some decisions, so there are a few exceptions to rule 3 and 4 in some circumstances.
Continuation of https://github.com/metamath/metamath-exe/pull/138.
The same categories of https://github.com/metamath/metamath-exe/pull/139 are applied, although I had to rely on my intuition to make some decisions, so there are a few exceptions to rule 3 and 4 in some circumstances.