Replies (1)

• @5ht@mathstodon.xyz 2026-05-28 16:54

  I need to put this immediately as in Lean

  Open ##5016162