← Feed @jonmsterling@mathstodon.xyz Post #2652252 2026-05-11 12:04 UTC @dwarn@mathstodon.xyz @SamToth@mathstodon.xyz Yes, that is very sensible. If you allow dependency, I will start cranking out counterexamples ;-) Replies (0) No replies.