change name and remove lemma - SemanticDiff

Commit

2 years ago

change name and remove lemma

References

#18230 - feat(analysis/inner_product_space/positive): Positivity of linear maps

#18779 - feat(inner_product_space/positive): defines square root of a linear map

#18786 - feat(inner_product_space/positive): matrix.pos_semidef iff x.to_euclidean_lin.is_positive

Author

themathqueen

themathqueen

Parents

Loading