Research proof index

A set-family John-Nirenberg tail decay theorem from a base-level one-step decay hypothesis. This is the reusable set-family analogue of john_nirenberg_from_base. It iterates one-step decay starting from the base level A for an arbitrary antitone measurable family E_lam, and is useful when the Calderon-Zygmund / stopping-time work has already been pa...