Theorem IsLocalRing.ResidueField.residue_smul

Modification history