mathlib3
7e098272 - feat(analysis/inner_product_space/adjoint): matrix and linear map adjoints agree (#11551)

Commit
4 years ago
feat(analysis/inner_product_space/adjoint): matrix and linear map adjoints agree (#11551)
Author
Parents
Loading