P
Initializing...
The local degree formula: $\operatorname{rk}_{\mathbb{Z}_p} \mathbb{F}_\wp \le ef$ · Prove2Me