OAI/Analysis/RotationWeights/BorelTransport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ContinuousCircleWeight.fractionB line 32
2. def OAI.ContinuousCircleWeight.fractionC line 40
3. lemma OAI.ContinuousCircleWeight.fractionB_pos line 48
4. lemma OAI.ContinuousCircleWeight.fractionC_pos line 50
5. lemma OAI.ContinuousCircleWeight.fractionB_relation line 53
6. lemma OAI.ContinuousCircleWeight.fractionC_relation line 65
7. lemma OAI.ContinuousCircleWeight.fraction_operator_relations line 77
8. theorem OAI.ContinuousCircleWeight.borel_weight_transport line 90