mathlib
cf1f8bcb - feat(linear_algebra/basis): add lemmas (#17606)

Commit

3 years ago

feat(linear_algebra/basis): add lemmas (#17606) From flt-regular.

References

Author

riccardobrasca

riccardobrasca

Parents

Loading