OAI/Analysis/Littlewood/Matching.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AsymptoticallyMinimalLittlewood.Nibble.pruned_degree_near line 14
2. lemma OAI.AsymptoticallyMinimalLittlewood.Nibble.matching_after_pruning line 37