move file to new pr - SemanticDiff

Commit

2 years ago

move file to new pr

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