Metamath Proof Explorer

Table of Contents - 19.6.8. Dirac bra-ket notation (cont.)

  1. branmfn
  2. brabn
  3. rnbra
  4. bra11
  5. bracnln
  6. cnvbraval
  7. cnvbracl
  8. cnvbrabra
  9. bracnvbra
  10. bracnlnval
  11. cnvbramul
  12. kbass1
  13. kbass2
  14. kbass3
  15. kbass4
  16. kbass5
  17. kbass6