Correction d'une démonstration.

From MaRDI portal
Publication:2591876