← Feed @FredrikBakke@mathstodon.xyz Post #2747762 2026-01-08 20:05 UTC @SamToth@mathstodon.xyz and the new proof has the dual consequence built in ;) Replies (0) No replies.