This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(inner_product_space/positive): defines square root of a linear map#18779
Open
themathqueen wants to merge 10 commits intomasterfrom mon/ips_positive
+319-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