OAI/Combinatorics/MatchingPSD/CellDecoder.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingInterpolation.cutValue line 10
2. lemma OAI.MatchingInterpolation.cell_trace_value line 12
3. lemma OAI.MatchingInterpolation.cutValue_p line 26
4. lemma OAI.MatchingInterpolation.cutValue_star line 28
5. lemma OAI.MatchingInterpolation.cutValue_bit line 30
6. lemma OAI.MatchingInterpolation.cutValue_grid line 33
7. lemma OAI.MatchingInterpolation.origin_star_eq line 41
8. lemma OAI.MatchingInterpolation.weightMass_bound line 45
9. lemma OAI.MatchingInterpolation.cell_decoder line 53