Commit 2023-08-15 15:52 0e5c7d3b
View on Github →feat: a function which is zero as a distribution vanishes almost everywhere (#6532) We first prove this on real manifolds and then deduce it for vector spaces to avoid duplication.
feat: a function which is zero as a distribution vanishes almost everywhere (#6532) We first prove this on real manifolds and then deduce it for vector spaces to avoid duplication.