6d03

joined 2 years ago
[–] 6d03@mathstodon.xyz 2 points 2 months ago (4 children)

@rutrum isn't it because of the fear of import from derivation?