Relevant implication

From MaRDI portal
Publication:3820587