Skip to the content.

von Neumann Double Commutant Theorem

by Jon Bannon and Jireh Loreaux

Blueprint (web) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

double_commutant is maintained by Jon Bannon a\and Jireh Loreaux. Visit the GitHub repository for more information.