Intuitionistic general topology | lit.salon