Iterates Seven Flux Triangle

Support for the Armstrong–Vicol anomalous-diffusion formalization.

theorem AVenhance.Infra.Section4.iterate_seven_flux_triangle (B P C F₁ F₂ R S : ℝ) : |B - P - C + F₁ + F₂ + R| + |S| ≤ |B| + |P| + |C| + |F₁| + |F₂| + |R| + |S|

Triangle allocation preserves all seven actual flux contributions.