| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/topology/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 1 kB |
|
Quelle topology_def.prf Sprache: Lisp |
|||||||||
|
(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) ¤*© Formatika GbR, Deutschland |
|
2026-03-28