Commit 2021-01-06 02:30 9fdd703b
View on Github →feat(linear_algebra/affine_space/midpoint): a few more lemmas (#5571)
- simplify expressions like
midpoint R p₁ p₂ -ᵥ p₁andp₂ - midpoint R p₁ p₂; - fix a typo in
data/set/intervals/surj_on.
feat(linear_algebra/affine_space/midpoint): a few more lemmas (#5571)
midpoint R p₁ p₂ -ᵥ p₁ and
p₂ - midpoint R p₁ p₂;data/set/intervals/surj_on.