A mechanical proof of the C. T. Yang's Theorem related to a property of derived sets in general topology

DOI10.1360/SSM-2019-0301zbMath1499.54026OpenAlexW3120229253MaRDI QIDQ5064251

Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang, Hidetsune Kobayashi

Publication date: 21 March 2022

Published in: SCIENTIA SINICA Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1360/ssm-2019-0301

zbMATH Keywords

topological spaceclosed setderived setopen setmachine proofC. T. Yang's Theorem

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Topological spaces and generalizations (closure spaces, etc.) (54A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A mechanical proof of the C. T. Yang's Theorem related to a property of derived sets in general topology