P
Initializing...
Lemma 5.5(1) — $f(F(v))\subseteq F(w)$ for $v$ in the fibre over $w$ · Prove2Me