Statement file: IsTestFunction (Roots). This file contains exactly one declaration of the formalization's public statement surface.

def AVenhance.IsTestFunction (φ : ℝ → Homogenization.Vec 2 → ℝ) : Prop

Smooth space-periodic test functions on ℝ × ℝ², vanishing for t ≥ 1.

Equations

• One or more equations did not get rendered due to their size.