Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-03 07:29 d6c17c94

View on Github →

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

Estimated changes