Proof of a conjecture of A. Pitts

From MaRDI portal
Publication:1818641