The Butterfly lemma

From MaRDI portal
Publication:2057922