OAI/Combinatorics/BalancedRyser/Candidates/MixedExternalAssembly.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.CandidateMixedExternal.mixedOverlapFilter line 16
  2. def OAI.Balanced.CandidateMixedExternal.mixedOverlapCount line 20
  3. def OAI.Balanced.CandidateMixedExternal.mixedOverlapKeys line 24
  4. theorem OAI.Balanced.CandidateMixedExternal.witnessEvent_eq_mixedExternalEvent line 32
  5. theorem OAI.Balanced.CandidateMixedExternal.mixedOverlap_filter_eq line 53
  6. theorem OAI.Balanced.CandidateMixedExternal.integral_mixedOverlapCount_eq_keySum line 72
  7. theorem OAI.Balanced.CandidateMixedExternal.sum_mixedOverlapKeys line 81
  8. theorem OAI.Balanced.CandidateMixedExternal.integral_mixedOverlapCount_eq line 123
  9. theorem OAI.Balanced.CandidateMixedExternal.integral_mixedOverlapCount_le line 142
  10. theorem OAI.Balanced.CandidateMixedExternal.integral_mixedOverlapCount_le_uniform line 150
  11. theorem OAI.Balanced.CandidateMixedExternal.fixed_mixedOverlapCount_le line 160