← Feed @5ht@mathstodon.xyz 2026-05-28 16:54 UTC I need to put this immediately as in Lean Replies (1) @5ht@mathstodon.xyz 2026-05-28 17:16 Open ##5016163