Every non-unit, non-zero-divisor `f̄` of the special fiber lifts to an ideal chart of the concrete surface whose reduction generates the same ideal as `f̄`.

Initializing...

Every non-unit, non-zero-divisor `f̄` of the special fiber lifts to an ideal chart of the concrete surface whose reduction generates the same ideal as `f̄`. · Prove2Me