Theorem IsLocalRing.ResidueField.mapEquiv_trans

Modification history