Theorem LocalRing.ResidueField.algebraMap_eq

Modification history