mathlib
1b1088c2 - feat(linear_algeba/linear_independent): coe_range (#8341)

Commit

4 years ago

feat(linear_algeba/linear_independent): coe_range (#8341) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents