Theorem LocalRing.ResidueField.lift_residue_apply

Modification history