Theorem finset.center_mass_singleton
Modification history
2021-09-11 17:31
src/analysis/convex/basic.lean
split(analysis/convex/combination): split off `analysis.convex.basic` (#9115) …
Modified finset.center_mass_singletonView on Github →2020-05-15 21:05
src/analysis/convex/basic.lean
chore(*): bump to lean-3.12.0 (#2681) …
Modified finset.center_mass_singletonView on Github →