ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ matMul_transpose_of_symm
matMul_transpose_of_symm
lemma
proved
Dynamics & Crises
Dependency Graph
Location
thesis/CESProofs/Dynamics/SymmetricAdjustment.lean
:91
In the same file
symmetric_adjustment
matMul
matTranspose
matTranspose_of_symmetric
onsager_testable
isSymmetric_of_transpose_eq
matMul_transpose_general
matMul_assoc
minimum_misallocation
kramers_rate
medianTransitionTime
transition_time_pos
policy_kramers_amplification
asymmetric_kramers_ratio
barrier_decomposition
barrier_decreases_with_T
crossingTemperature
barrier_vanishes_at_Tcross
crossingTemperature_pos
commutator_decomposition