OAI/Combinatorics/MatchingPSD/GoodCells.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingInterpolation.SampleIndex line 10
2. def OAI.MatchingInterpolation.samplePoint line 11
3. lemma OAI.MatchingInterpolation.specialPoint_explicit line 14
4. lemma OAI.MatchingInterpolation.sample_witness line 18
5. lemma OAI.MatchingInterpolation.good_cell_polynomials line 25