merge branches - SemanticDiff

Commit

3 years ago

merge branches

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