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

def AVenhance.timeCube : Set (ℝ × Homogenization.Vec 2)

Space-time cell (0,1) × (0,1)².

Equations

• AVenhance.timeCube = Set.Ioo 0 1 ×ˢ AVenhance.unitCube