mathlib
ff0463f0 - define the category of unital C⋆-algebras.
Commit
View On GitHub
Commit
3 years ago
define the category of unital C⋆-algebras.
Author
j-loreaux j-loreaux
Parents
ce125583
FAQ Terms Privacy Refunds Impressum
Loading