π-Base是拓扑示例社区数据库，提供自动演绎和强大搜索功能。
语法：
使用~进行否定，{和:[...]}或者{or:[...]}嵌套。
你可以通过以下这些字符开启不同的搜索模式：
:-名字间隔
?-不确定
!-否定
示例
AllNon-MetricContinua
{and: [compact, connected, t_2, ~metrizable]}ACommonNon-Theorem
{and: ["first countable", separable, "~second countable"]}AClassofExamplesbyName
:plankNewThingstoProve
?metacompact
评论