P

Initializing...

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