OAI/Analysis/FourierLLogL/Snapshot/Near.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FourierLLogL.Dyadic.Procedure.Snapshot.scLimit line 13
2. lemma OAI.FourierLLogL.Dyadic.Procedure.Snapshot.net_len_scalar line 16
3. lemma OAI.FourierLLogL.Dyadic.Procedure.Snapshot.magnitude_near line 113