Topology from neighbourhoods
From MaRDI portal
Publication:271891
DOI10.1515/FORMA-2015-0023zbMath1334.54001OpenAlexW2316140067MaRDI QIDQ271891
Publication date: 20 April 2016
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/forma-2015-0023
Topological spaces and generalizations (closure spaces, etc.) (54A05) Mechanization of proofs and logical operations (03B35)
Uses Software
Cites Work
This page was built for publication: Topology from neighbourhoods