The normal complemented formation

From MaRDI portal