Lifting Theorems for Equality

From MaRDI portal
Publication:5090501