mathlib
ea1cff4a - feat(linear_algebra/pi): ext lemma for `f : (Π i, M i) →ₗ[R] N` (#6233)

Commit

4 years ago

feat(linear_algebra/pi): ext lemma for `f : (Π i, M i) →ₗ[R] N` (#6233)

Author

urkud

urkud

Parents

Loading