Commit 2024-12-11 08:26 f7bc890f
View on Github →feat(Topology/ContinuousMap): "ContinuousMap.evalCLM" without compactness (#19876)
ContinuousMap.evalCLM is the evaluation-at-a-point functional on continuous-function spaces, a useful gadget to have. This is currently only defined when the domain is compact (presumably for historical reasons). This PR moves it around slightly so it is now available for any domain space.