About approximate inclusion and its axiomatization

From MaRDI portal
Publication:2493973