6d03

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

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