Complex Bounded Operators (Archive of Formal Proofs,, 2021)
José Manuel Rodriguez Caballero, Dominique Unruh
[ official ]

None