P

Initializing...

Counterexample structure (n) — Extensions twisted by automorphisms of the fibre satisfy E255 when the fibre satisfies condition (R) · Prove2Me