mathlib
d1bb0713 - 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