Theorem IsLocalRing.ResidueField.algebraMap_eq

Modification history