OAI/Probability/MatroidProphet/Residual/Encoding.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.Pivots.validBirthMark line 13
2. def OAI.MatroidProphet.Pivots.integerBirthLayer line 16
3. def OAI.MatroidProphet.Pivots.integerResidual line 22
4. def OAI.MatroidProphet.Pivots.integerResidualFamily line 29
5. lemma OAI.MatroidProphet.Pivots.generatedPath_mono line 38
6. lemma OAI.MatroidProphet.Pivots.first_integer_pattern line 46
7. lemma OAI.MatroidProphet.Pivots.integerResidual_mem_family line 73