Skip to content

Normed complex vector spaces#1757

Draft
lowasser wants to merge 40 commits intoUniMath:masterfrom
lowasser:complex-normed-space
Draft

Normed complex vector spaces#1757
lowasser wants to merge 40 commits intoUniMath:masterfrom
lowasser:complex-normed-space

Conversation

@lowasser
Copy link
Collaborator

Builds on many other pieces, including #1756, #1754 , #1755.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant