OAI/Combinatorics/BalancedRyser/Deletion/RobustDeletionAssembly.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.uniformDeletionVanishing_of_profileCounting line 12
  2. def OAI.Balanced.multiplicityFailureClass line 32
  3. theorem OAI.Balanced.multiplicityFailureClass_valid line 35
  4. theorem OAI.Balanced.multiplicityFailureClass_sizeGap line 41
  5. theorem OAI.Balanced.multiplicityFailureClass_witness_iff line 46
  6. theorem OAI.Balanced.multiplicityVanishing_of_profileCounting line 57