PropCIs

From MaRDI portal