OAI/Probability/SignedSweeps/SignedPair.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.wordPhaseDiagonal line 15
2. lemma OAI.SignedSweeps.signedWordRepresentation_eq line 21
3. lemma OAI.SignedSweeps.wordPhaseDiagonal_matrix line 24
4. lemma OAI.SignedSweeps.pairTypeProjection_phase_commute line 35
5. theorem OAI.SignedSweeps.pairTypeProjection_signed_commute line 48