Commit 2025-05-14 04:50 1bd7adb3
View on Github →chore(SimpleFuncDense): minimise opens and variables (#24863) Discovered while writing #24862 (and investigating the Bochner integral for enormed spaces).
chore(SimpleFuncDense): minimise opens and variables (#24863) Discovered while writing #24862 (and investigating the Bochner integral for enormed spaces).