M2
M2 copied to clipboard
Listing subtypes semantically in the exports list
The title is obscure, so I'll explain what I want with a manipulated example:
Here,
AffineVariety and ProjectiveVariety are subtypes of Variety and the list should reflect this.