mathlib
cbe80ed2 - feat(linear_algebra/projection): projection to a subspace (#2739)

Commit

5 years ago

feat(linear_algebra/projection): projection to a subspace (#2739) Define equivalence between complement subspaces and projections.

Author

urkud

Parents