mathlib
d6c17c94 - feat(linear_algebra/affine_space): simplex ext lemmas (#3669)

Commit

5 years ago

feat(linear_algebra/affine_space): simplex ext lemmas (#3669) Add `ext` lemmas for `affine_space.simplex`.

Author

jsm28

Parents