mathlib
c3f2c237 - feat(analysis/convex/basic): the affine image of the convex hull is the convex hull of the affine image (#9057)

Commit
4 years ago
feat(analysis/convex/basic): the affine image of the convex hull is the convex hull of the affine image (#9057)
Author
Parents
Loading