mathlib
530e3cce - Merge branch 'hilbert_space_dual' into conjugate_spaces

Commit

5 years ago

Merge branch 'hilbert_space_dual' into conjugate_spaces

Author

dupuisf

dupuisf

Parents

Loading