On substitution for functorial variables

From MaRDI portal
Publication:1235693