6d03

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

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