A patching lemma

From MaRDI portal
Publication:3295643