T498: hyperconnected + loc rel compact => compact

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

72 stars 24 forks source link

Closed prabau closed 3 months ago

prabau commented 3 months ago

New T498: Hyperconnected + locally relatively compact ==> compact.

Also remove some trait files that can now be deduced.