OAI/Analysis/RieszRectifiability/Foundations/LocalTestConstancy.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.integrable_mul_compact_test_of_integrableOn line 14
2. theorem OAI.RieszRectifiability.local_mean_zero_test_annihilator_constant line 29