local ring in which Hensel’s lemma holds
Nothing in the MetaHistoryBook collection references this item yet.