mathlib3
e5cd2ea1 - feat(analysis/von_neumann): concrete and abstract definitions of a von Neumann algebra (#12329)

Commit

3 years ago

feat(analysis/von_neumann): concrete and abstract definitions of a von Neumann algebra (#12329) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

1494a9b2

mathlib3 e5cd2ea1 - feat(analysis/von_neumann): concrete and abstract definitions of a von Neumann algebra (#12329)

mathlib3
e5cd2ea1 - feat(analysis/von_neumann): concrete and abstract definitions of a von Neumann algebra (#12329)