ByNobleID
    Note on an ideal of a positively filtered ring over a commutative ring | NobleID