Tietze extension theorem for \(n\)-dimensional spaces

DOI10.2478/FORMA-2014-0002zbMath1298.54003OpenAlexW1516588480MaRDI QIDQ467806

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-0002

zbMATH Keywords

hypercubeTietze extension

Mathematics Subject Classification ID

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

Related Items (2)

Chebyshev distance ⋮ Topological manifolds

Cites Work

• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tietze extension theorem for \(n\)-dimensional spaces