Commit 2024-05-07 09:50 d9cc9faf
View on Github →feat: operations on indicatorConstLp (#12464)
Add lemmas to rewrite the sum/difference of two indicatorConstLp with same support. The distance between to Lp functions is the same as the norm of their difference (even if $p < 1$ and it's not a norm).