If `P^L ⊆ I` and `P` meets the localizing submonoid, then `I` extends to the unit ideal.

Initializing...

If `P^L ⊆ I` and `P` meets the localizing submonoid, then `I` extends to the unit ideal. · Prove2Me