Theorem IsLocalRing.ResidueField.lift_residue_apply

Modification history