OAI/Analysis/KadisonKastler/ModularScalingDefect.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Adjoint symmetry of the modular scaling defect

  1. theorem OAI.KadisonKastler.ModularConjugationData.rightAction_adjoint_defect line 21
  2. theorem OAI.KadisonKastler.ModularConjugationData.rightAction_adjoint_defect_tendsto line 30