OAI/Combinatorics/BalancedRyser/Incidence/ProfileLimitIncidence.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.ProfileSequenceLimit.deletion_incidence line 21
  2. theorem OAI.Balanced.ProfileSequenceLimit.cover_incidence line 33
  3. theorem OAI.Balanced.ProfileSequenceLimit.cover_mass line 45
  4. theorem OAI.Balanced.ProfileSequenceLimit.deletion_mass line 51
  5. theorem OAI.Balanced.ProfileSequenceLimit.deletion_mean line 59
  6. theorem OAI.Balanced.ProfileSequenceLimit.cover_mean line 75
  7. theorem OAI.Balanced.FiniteProfile.profileSequenceLimit_deletion_incidence line 99
  8. theorem OAI.Balanced.FiniteProfile.profileSequenceLimit_cover_incidence line 104
  9. theorem OAI.Balanced.FiniteProfile.profileSequenceLimit_deletion_mass line 109
  10. theorem OAI.Balanced.FiniteProfile.profileSequenceLimit_cover_mass line 116
  11. theorem OAI.Balanced.FiniteProfile.profileSequenceLimit_mass_incidence line 120