Commit 2026-08-18 20:21 19996d63
View on Github →chore: move ContinuousLinearMap.extend from Analysis to Topology (#41743)
According to #29888, the original definition was by Zhouhang Zhou in 2019, so I adjusted the copyright to that year.
No code is altered besides adding public and @[expose].