P
Initializing...
For a finite flat extension of local rings `O → B`, `e · f = [B : O]`. · Prove2Me