Commit 2026-10-01 18:15 481af379
View on Github →chore(Algebra/Lie/Subalgebra): fix instance diamond in LT instance (#44382) Remove a duplicate PartialOrder instance: this can already be synthesized today (via LieAlgebra.instPartialOrder on line 71 in that file). It also causes instance diamonds are implicit transparency. Detected by the linter in #38781.