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

def AVenhance.unitCube : Set (Homogenization.Vec 2)

The open unit cube (0,1)², a full-measure representative of the fundamental cell of 𝕋².

Equations

• AVenhance.unitCube = Set.univ.pi fun (x : Fin 2) => Set.Ioo 0 1