mathlib3
d0804bae - feat(linear_algebra/invariant_basis_number): basic API lemmas (#7882)

Commit

4 years ago

feat(linear_algebra/invariant_basis_number): basic API lemmas (#7882) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents