Theorem IsLocalRing.ResidueField.map_comp

Modification history