Commit 2023-10-02 15:34 c0de7678
View on Github →feat: disintegration of Lebesgue measure in vector spaces (#7252) To check that a property is true ae in a vector space, it suffices to check that it is true ae along all translates of a given vector subspace.