Polarised subtyping for sized types (Q3535676)

From MaRDI portal