OAI/Combinatorics/KMedianRecovery/Machines/Program.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MetricKMedianRecovery.BitMachine.Program line 9
2. abbrev OAI.MetricKMedianRecovery.BitMachine.Program.machine line 25
3. abbrev OAI.MetricKMedianRecovery.BitMachine.Stacks line 36
4. def OAI.MetricKMedianRecovery.BitMachine.embedStacks line 38
5. lemma OAI.MetricKMedianRecovery.BitMachine.embedStacks_apply line 42
6. lemma OAI.MetricKMedianRecovery.BitMachine.embedStacks_not_image line 49
7. lemma OAI.MetricKMedianRecovery.BitMachine.embedStacks_update line 54
8. def OAI.MetricKMedianRecovery.BitMachine.renameStmt line 68
9. def OAI.MetricKMedianRecovery.BitMachine.renameCfg line 79
10. lemma OAI.MetricKMedianRecovery.BitMachine.stepAux_rename line 83
11. lemma OAI.MetricKMedianRecovery.BitMachine.iterate_transfer line 111