No counterexamples via linear extension: fibered products over a 255-satisfying base satisfy 255

Initializing...

No counterexamples via linear extension: fibered products over a 255-satisfying base satisfy 255 · Prove2Me