OAI/GroupTheory/SimpleAmenable/RandomFields/FieldSignalData.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SimpleAmenable.FieldSignalData line 16
2. theorem OAI.SimpleAmenable.exists_fieldSignalData line 34
3. def OAI.SimpleAmenable.FieldSignalData.signal line 55
4. def OAI.SimpleAmenable.FieldSignalData.realLaw line 57
5. instance OAI.SimpleAmenable.FieldSignalData.realLaw_probability line 61
6. def OAI.SimpleAmenable.FieldSignalData.bitLaw line 65
7. instance OAI.SimpleAmenable.FieldSignalData.bitLaw_probability line 69