mathlib3
abe146f7 - feat(linear_map): to_*_linear_map_injective (#7746)

Commit

4 years ago

feat(linear_map): to_*_linear_map_injective (#7746) From LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents