Code

Bernoulli sampling lemma#1240

Code

Draft

hoheinzollern wants to merge 4 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:samplinghoheinzollern/analysis:samplingCopy head branch name to clipboard

+2,939-21

Commits

Commits on Dec 4, 2024

• expectation of product

  affeldt-aist

  committed
  9bda506

  Copy full SHA for 9bda506

• use bool instead of I_2

  affeldt-aist

  committed
  7be5887

  Copy full SHA for 7be5887

• complete thm 2.13

  affeldt-aist

  committed
  a1eb371

  Copy full SHA for a1eb371

• a sampling theorem

  Show description for add35c8
  affeldt-aist

  committed
  add35c8

  Copy full SHA for add35c8