chore(Algebra/Star/Unitary): rename unitary.spectrum.unitary_conjugate#30697
Open
themathqueen wants to merge 8 commits intoleanprover-community:masterfrom
Open
chore(Algebra/Star/Unitary): rename `unitary.spectrum.unitary_conjugate`#30697themathqueen wants to merge 8 commits intoleanprover-community:masterfrom
themathqueen wants to merge 8 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 19, 2025
- committed
- committed
Commits on Oct 20, 2025
- authored
- authored
- authored
- authored
- authored
- authored