This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(inner_product_space/positive): matrix.pos_semidef iff x.to_euclidean_lin.is_positive#18786
Open
themathqueen wants to merge 10 commits intomasterfrom mon/matrix_pos
+206-6
Commits
Commits on Jan 19, 2023
Commits on Jan 24, 2023
- committed
Commits on Jan 29, 2023
- committed
Commits on Jan 30, 2023
- committed
Commits on Apr 4, 2023
Commits on Apr 8, 2023
- committed