Documentation

Lean 4 Proof

def SuperCriticalRegime (T Tstar : ℝ) : Prop := Tstar ≤ T

Dependency Graph

Location

thesis/CESProofs/Potential/Defs.lean:239

Module Section

Core definitions for the Lean formalization of Paper 2:

In the same file