OAI/Analysis/KadisonKastler/CentralSupportScalar.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A central line detects scalars on its support corner

  1. theorem OAI.KadisonKastler.scalar_on_support_of_central_line line 16