Documentation

Lean 4 Proof

theorem moduli_dimension (N : ℕ) : 6 * N = 6 * N := rfl

Dependency Graph

Location

thesis/CESProofs/Hierarchy/ModuliSpace.lean:57

Module Section

Theorems 3-4: Structural Determination and Endogenous Hierarchy Depth

In the same file