OAI/Probability/Ballisticity/Stationary/Array.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.DirectionalTransience.row_compact line 12
2. def OAI.DirectionalTransience.horizontalSubgroup line 20
3. abbrev OAI.DirectionalTransience.HorizontalSpace line 33
4. abbrev OAI.DirectionalTransience.ActualEpisodeArray line 35
5. instance OAI.DirectionalTransience.actualArray_compact line 38
6. instance OAI.DirectionalTransience.actualArray_metrizable line 39