OAI/Combinatorics/KMedian/Process/PhysicalOldMass.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.Preparation.oldAssignment line 14
2. theorem OAI.MetricKMedian.Preparation.old_feasible line 20
3. theorem OAI.MetricKMedian.Preparation.old_mass_id line 36
4. theorem OAI.MetricKMedian.Preparation.old_cost_id line 49
5. theorem OAI.MetricKMedian.Preparation.physical_old_estimates line 62