Push-outs of derivations (Q943029)

From MaRDI portal