Un'estensione del teorema di Lob (Q1224575)

From MaRDI portal