On \(B_r\)-completeness (Q1215778)

From MaRDI portal