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