Theorem IsLocalRing.ResidueField.lift_comp_residue

Modification history