OAI/Combinatorics/KMedianRecovery/Machines/CappedFold.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedianRecovery.BitMachine.RepeatedAppend.fixed_computes line 8
2. def OAI.MetricKMedianRecovery.BitMachine.WordList.CappedFold.run line 16
3. def OAI.MetricKMedianRecovery.BitMachine.WordList.CappedFold.run_computes line 20
4. lemma OAI.MetricKMedianRecovery.BitMachine.WordList.CappedFold.run_pack line 25
5. lemma OAI.MetricKMedianRecovery.BitMachine.WordList.CappedFold.fold_encode line 38
6. lemma OAI.MetricKMedianRecovery.BitMachine.WordList.CappedFold.run_typed line 48