OAI/NumberTheory/Ostmann/Arithmetic/HistoryPairReferenceSourceTransportSamples.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Arithmetic.HistoryPairReferenceSourceTransport.typedSample line 24
2. theorem OAI.Ostmann.Arithmetic.HistoryPairReferenceSourceTransport.typedSourceEquiv_sample line 28
3. theorem OAI.Ostmann.Arithmetic.HistoryPairReferenceSourceTransport.pairSample_eq_typed line 39
4. theorem OAI.Ostmann.Arithmetic.HistoryPairReferenceSourceTransport.actual_pullSample_eq line 48
5. theorem OAI.Ostmann.Arithmetic.HistoryPairReferenceSourceTransport.typedSample_root_assignment line 54