mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(linear_algebra/basis): strictly triangular basis

Open abentkamp opened this issue 3 years ago • 0 comments

Construction of a basis that triangulates a nilpotent linear map.

Open in Gitpod

I plan to use this result to triangularize more general matrices.

abentkamp avatar May 10 '22 23:05 abentkamp