Skip to content

feat(Analysis/CStarAlgebra/Matrix): add CStarAlgebra instance for matrices#41518

Open
judsonpereirademoura-netizen wants to merge 4 commits into
leanprover-community:masterfrom
judsonpereirademoura-netizen:patch-1
Open

feat(Analysis/CStarAlgebra/Matrix): add CStarAlgebra instance for matrices#41518
judsonpereirademoura-netizen wants to merge 4 commits into
leanprover-community:masterfrom
judsonpereirademoura-netizen:patch-1

Update Mathlib/Analysis/CStarAlgebra/Matrix.lean

59bc322
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 9, 2026 in 1m 24s