triv_sq_zero_ext): generalize some results to non-commutativity (#19049)

Commit

2 years ago

feat(analysis/normed_space/triv_sq_zero_ext): generalize some results to non-commutativity (#19049)

Author

eric-wieser

Parents