OAI/Analysis/SymmetricDomains/SelectExcludedOffsets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.compact_eventual_inclusion line 33
2. lemma OAI.Release061.offsetDistance_pos_mem line 57
3. theorem OAI.Release061.compact_inclusion_from_offsets line 66
4. lemma OAI.Release061.select_excluded_offsets line 95