Localizing at `z` commutes with taking the principal power quotient `A ⧸ (e)^j`. · Prove2Me

P

Initializing...

Localizing at `z` commutes with taking the principal power quotient `A ⧸ (e)^j`. · Prove2Me