OAI/Probability/BinarySweep/Representations/IsotypicCentrality.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryCoordinateSweeps.Irrep.projection_commutes_of_adjoint_invariant line 19
2. theorem OAI.BinaryCoordinateSweeps.Irrep.isotypicProjection_central line 29