ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ h_product_symmetric
h_product_symmetric
theorem
proved
Dependency Graph
Location
thesis/CESProofs/Dynamics/SymmetricAdjustment.lean
In the same file
symmetric_adjustment
matMul
matTranspose
matTranspose_of_symmetric
onsager_testable
isSymmetric_of_transpose_eq
matMul_transpose_general
matMul_assoc
minimum_misallocation
matMul_transpose_of_symm
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