Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-25 20:59 7e098272

View on Github →

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

Estimated changes