Statement file: IsPeriodicH1With (Roots).
This file contains exactly one declaration of the formalization's public statement surface.
def
AVenhance.IsPeriodicH1With
(u : Homogenization.Vec 2 → ℝ)
(Du : Homogenization.Vec 2 → Homogenization.Vec 2)
:
Periodic H¹ with an explicit gradient Du.
Equations
- One or more equations did not get rendered due to their size.