π-Base 介绍
π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。
语法：
使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。
你可以通过以下这些字符开启不同的搜索模式：
-
: - 名字间隔
-
? - 不确定
-
! - 否定
示例
All Non-Metric Continua
{and: [compact, connected, t_2, ~metrizable]}
A Common Non-Theorem
{and: ["first countable", separable, "~second countable"]}
A Class of Examples by Name
:plank
New Things to Prove
?Metacompact
π-Base 官网
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
