Skip to content
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
wants to merge 10 commits into
base: master
Choose a base branch
from
+319 −6

feat(inner_product_space/positive): define linear_map.sqrt

a8551bb
Select commit
Loading
Failed to load commit list.
Open

feat(inner_product_space/positive): defines square root of a linear map #18779

feat(inner_product_space/positive): define linear_map.sqrt
a8551bb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs