\(p\)-constraint and the transitivity theorem (Q2545350)

From MaRDI portal