π-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
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
