Commit 2022-06-25 20:02 f9571f0f
View on Github →feat(analysis/normed*): add instances about balls and spheres (#14808)
Non-bc change: has_inv.inv
on the unit circle is now defined using has_inv.inv
instead of complex conjugation.
feat(analysis/normed*): add instances about balls and spheres (#14808)
Non-bc change: has_inv.inv
on the unit circle is now defined using has_inv.inv
instead of complex conjugation.