Metamath Proof Explorer

Table of Contents - 19.6.4. Linear, continuous, bounded, Hermitian, unitary operators and norms

1. df-nmop
2. df-cnop
3. df-lnop
4. df-bdop
5. df-unop
6. df-hmop