OAI/Probability/SignedSweeps/TypeTrace.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.trace_type_resolution line 13
2. lemma OAI.SignedSweeps.positive_trace_type_resolution_bound line 25
3. lemma OAI.SignedSweeps.blockTypeProjection_trace_real line 61