Counterexample structure (o) — Condition (R) of (n) holds for rigid fibres with E255 and for finite right-cancellative fibres

Initializing...

Counterexample structure (o) — Condition (R) of (n) holds for rigid fibres with E255 and for finite right-cancellative fibres · Prove2Me