Referenced by:

• strongly-minimal
• topology-cofinite-top