[–] 6d03@mathstodon.xyz 2 points 1 year ago (2 children) @rutrum isn't it because of the fear of import from derivation? permalink fedilink source