|
(topology_def
(second_countable_is_topology 0
(second_countable_is_topology-1 nil 3454592299
("" (judgement-tcc) nil nil)
((second_countable type-eq-decl nil topology_def nil)
(second_countable? const-decl "bool" topology_def nil)
(setofsets type-eq-decl nil sets nil)
(setof type-eq-decl nil defined_types nil)
(NOT const-decl "[bool -> bool]" booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(boolean nonempty-type-decl nil booleans nil)
(has_countable_basis? const-decl "bool" topology_def nil)
(synthetic_base? const-decl "bool" basis nil)
(is_countable const-decl "bool" countability "sets_aux/")
(member const-decl "bool" sets nil)
(T formal-type-decl nil topology_def nil)
(topology_empty? const-decl "bool" topology_prelim nil)
(topology_full? const-decl "bool" topology_prelim nil)
(subset? const-decl "bool" sets nil)
(topology_Union? const-decl "bool" topology_prelim nil)
(topology_intersection? const-decl "bool" topology_prelim nil)
(topology? const-decl "bool" topology_prelim nil)
(finite_emptyset name-judgement "finite_set" finite_sets nil))
nil)))
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
