added lemmas for clm - SemanticDiff

Commit

3 years ago

added lemmas for clm

References

#18041 - feat(analysis/inner_product_space/finite_dimensional): some lemmas on finite dimensional inner product spaces

#18290 - feat(analysis/von_neumann_algebra/basic): one result

Author

themathqueen

themathqueen

Parents

Loading