OAI/Combinatorics/KMedian/Programs/OriginalMaskProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.MaskProgram.imageRaw line 13
2. theorem OAI.MetricKMedian.MaskProgram.imageRaw_poly line 16
3. theorem OAI.MetricKMedian.MaskProgram.imageRaw_view line 22
4. def OAI.MetricKMedian.MaskProgram.pullback line 41
5. theorem OAI.MetricKMedian.MaskProgram.pullback_poly line 42
6. theorem OAI.MetricKMedian.MaskProgram.pullback_view line 43
7. def OAI.MetricKMedian.MaskProgram.pullbackMatrix line 47
8. theorem OAI.MetricKMedian.MaskProgram.pullbackMatrix_poly line 49
9. theorem OAI.MetricKMedian.MaskProgram.pullbackMatrix_view line 50