basic): add missing API lemmas (#18227)

Commit

2 years ago

chore(analysis/von_neumann_algebra/basic): add missing API lemmas (#18227) There's no interesting math here, just some missing bundling

Author

eric-wieser

Parents