Commit 2026-03-02 21:29 dc43f26d

View on Github →

chore: fix defeq abuse in Boolean Algebra instance on Set alpha (#35959)

Estimated changes