mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

New definition of eigenvectorUnitary

Open JonBannon opened this issue 1 year ago • 0 comments

This is a new branch for handling the eigenvectorUnitary declaration and subsequent changes.

Open in Gitpod

JonBannon avatar Mar 13 '24 22:03 JonBannon