OAI/NumberTheory/Catalan/Energy/FirstSheetBoundaryMeasure.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.InternalCatalan.firstSheetAngleMeasure line 16
2. instance OAI.InternalCatalan.firstSheetAngleMeasure_finite line 19
3. def OAI.InternalCatalan.firstSheetBoundaryScale line 25
4. def OAI.InternalCatalan.firstSheetBoundaryMeasure line 27
5. instance OAI.InternalCatalan.firstSheetBoundaryMeasure_finite line 31
6. def OAI.InternalCatalan.firstSheetBoundaryFunction line 35
7. theorem OAI.InternalCatalan.firstSheetBoundaryFunction_apply line 42
8. theorem OAI.InternalCatalan.firstSheetBoundary_integral line 46
9. theorem OAI.InternalCatalan.firstSheetBoundaryMeasure_mass line 63
10. instance OAI.InternalCatalan.firstSheetBoundaryMeasure_probability line 70