OAI/Analysis/FourierLLogL/Capture/Mask.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.margins line 14
2. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.inner_strip line 24
3. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.circle_near line 47
4. def OAI.FourierLLogL.Dyadic.Procedure.Capture.inland line 62
5. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.limit_full line 64
6. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.smoothing_limit line 70
7. def OAI.FourierLLogL.Dyadic.Procedure.Capture.band line 88
8. lemma OAI.FourierLLogL.Dyadic.Procedure.Capture.make_mask line 90