Commit 2026-09-07 15:38 26508b67

View on Github →

chore(Matrix/Block): update forgotten lemma/doc with "new" IsUpperTriangular (#43263)

Estimated changes