OAI/Combinatorics/BalancedRyser/Deletion/DeletionSequential.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Balanced.DominatedDeletionPresentation line 16
2. theorem OAI.Balanced.uniformDeletionVanishing_iff_growing_presentations line 22
3. theorem OAI.Balanced.uniformDeletionVanishing_tendsto line 56
4. theorem OAI.Balanced.uniformDeletionVanishing_tendsto_filter line 70