fix errors - SemanticDiff

Commit

2 years ago

fix errors

References

eu-space-instance

#6799 - chore(analysis/normed_space/inner_product): euclidean space is a real inner product space

Author

eric-wieser

eric-wieser

Parents

Loading