OAI/Probability/Ballisticity/Stationary/ArrayProfileConsistency.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.finite_translated_atoms_le_one line 15
2. def OAI.DirectionalTransience.ArrayProfilesConsistent line 27
3. lemma OAI.DirectionalTransience.arrayProfilesConsistent_closed line 34
4. lemma OAI.DirectionalTransience.actual_arrayProfilesConsistent line 59
5. lemma OAI.DirectionalTransience.arrayProfilesConsistent_shift line 73
6. lemma OAI.DirectionalTransience.actualOccupation_profilesConsistent line 81
7. lemma OAI.DirectionalTransience.array_offset_symm line 102
8. lemma OAI.DirectionalTransience.dust_isolated line 110
9. lemma OAI.DirectionalTransience.OperationalConstants.bad_limit_consistent line 130