Documentation

Lean 4 Proof

def criticalExponent_susceptibility : ℝ := 1

Dependency Graph

Location

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:104

Module Section

Renormalization Group for CES:

In the same file