On right-equivalence

From MaRDI portal
Publication:1076384