Closed stefan11 closed 3 years ago
The author did not typeset this as "type hierarchy" but as normal tree. So this one really improved once I fixed this.