Repository navigation

refactor: adopt Statlib's Bernoulli measure lemmas and Bernoulli kernel - #354

Open

RemyDegenne wants to merge 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:overlap/330-bernoulli-measure

Open

refactor: adopt Statlib's Bernoulli measure lemmas and Bernoulli kernel#354
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/330-bernoulli-measure

Commits on Nov 13, 2026
- refactor: adopt Statlib's Bernoulli measure lemmas and Bernoulli kernel
  
  RemyDegenne
  and
  claude
  committed
  852487d
- refactor: prove bernoulliKernel_apply through the comap and kernel API lemmas
  
  RemyDegenne
  and
  web-flow
  committed
  f7c5e44