Brouwer invariance of domain theorem

DOI10.2478/FORMA-2014-0003zbMath1298.54004OpenAlexW970360827MaRDI QIDQ467807

Karol Pąk

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0003

zbMATH Keywords

topological dimensioncontinuous transformations

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Combining higher-order logic with set theory formalizations ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.

Cites Work

• Semantics of MML Query - Ordering
• The Rotation Group
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Brouwer invariance of domain theorem