The relative general linear group depends only on the ideal.
Date: nil
Author: Anton Zakrewski
Created: 2025-01-15 Mi 17:10