[Merged by Bors] - chore(Analysis/Normed/Operator/LinearIsometry): change coercion for LinearIsometryEquiv.toContinuousLinearEquiv
#165292
Triggered via pull request
December 17, 2025 22:20
themathqueen
themathqueen
submitted
#32964
Status
Success
Total duration
9s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
7s