M2 icon indicating copy to clipboard operation
M2 copied to clipboard

Listing subtypes semantically in the exports list

Open mahrud opened this issue 1 year ago • 0 comments

The title is obscure, so I'll explain what I want with a manipulated example: image Here, AffineVariety and ProjectiveVariety are subtypes of Variety and the list should reflect this.

mahrud avatar May 17 '24 16:05 mahrud