All Lean 4 Declarations

2160 declarations

Back to section overview
4 results (filtered from 2160)
Observable World
inductiveprovedDynamics & Crises

thesis/CESProofs/Dynamics/IndicatorClassification.lean:40
Observable Eigenspace
inductiveprovedDynamics & Crises

thesis/CESProofs/Dynamics/IndicatorClassification.lean:50
Temporal Type
inductiveprovedDynamics & Crises

thesis/CESProofs/Dynamics/IndicatorClassification.lean:62
Perturbation Type
inductiveprovedHierarchy

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:55