OAI/Analysis/KadisonKastler/StateGroupDetermination.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Determining a vector-fixing implementation from its algebra action

  1. theorem OAI.KadisonKastler.stateGroups_eq_of_actions line 14