OAI/RepresentationTheory/TensorSquares/Main.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The prescribed self-conjugate candidate and its tensor-square support.

  1. theorem OAI.UniversalTensorSquares.candidate_with_transpose_support line 15