P
Initializing...
$\bigcap_n \iota(E)U^{p^n} = \overline{\iota(E)} \vee \mu'(U)$ · Prove2Me