OAI/Combinatorics/BalancedRyser/Profiles/ProfileMeans.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.hasSum_profile_integrals line 12
2. theorem OAI.Balanced.hasSum_profile_weighted_mass line 27
3. theorem OAI.Balanced.deletion_profile_first_mean line 38
4. theorem OAI.Balanced.deletion_profile_second_mean line 51
5. theorem OAI.Balanced.invisible_profile_recurrence line 64
6. theorem OAI.Balanced.invisible_cover_profile_recurrence line 75