Theorem Module.Baer.ExtensionOfMaxAdjoin.extendIdealTo_eq

Modification history