Commit 2026-08-24 11:13 21105c5b
View on Github →refactor: change mapRangeₗ to require a ContinuousLinearMap (#42767)
Instead of having VectorMeasure.mapRangeₗ to require f : LinearMap .. and hf : Continuous f, change it to require f : ContinuousLinearMap ... Change the name to mapRangeL.