OAI/Combinatorics/KMedian/Preparation/RationalPreparedScan.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.FixedBatch.RationalParameters.countCandidates line 17
2. def OAI.MetricKMedian.FixedBatch.RationalParameters.candidateGood line 22
3. def OAI.MetricKMedian.FixedBatch.RationalParameters.roundList line 24
4. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.candidate_mem line 28
5. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.roundList_spec line 37