If `iota` is injective and `pi` is a nonzerodivisor on `C ⧸ (g)`, then the strict quotient map `phi` is injective.

Initializing...

If `iota` is injective and `pi` is a nonzerodivisor on `C ⧸ (g)`, then the strict quotient map `phi` is injective. · Prove2Me