[Merged by Bors] - feat(Analysis/Hermitian): more lemma to convert between IsHermitian and IsSymmetric#37394
Closed
wwylele wants to merge 7 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(Analysis/Hermitian): more lemma to convert between IsHermitian and IsSymmetric#37394wwylele wants to merge 7 commits intoleanprover-community:masterfrom
wwylele wants to merge 7 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 30, 2026
Commits on Mar 31, 2026
- andauthored
- andauthored
- authored
- andauthored
- andauthored
- andauthored
