ByNobleID
    Extension of measures to infinite-dimensional spaces over $p$-adic field | NobleID