(scott_identity_continuitynil 3353640334 3353640425"" (lemma "scott_topology[T,le]" ) (("" (propax) nil nil )) nil )nil scott nil )nil scott_identity_continuity nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" directed_ordersnil )"(directed_complete_partial_order?)" nil ))nil ))nil 3353640334 3353640363"" (lemma "id_continuous" )"" (rewrite "scott_continuous_def" ) nil nil )) nil )"(bijective?[T, T])" identity nil )"bool" functions nil )nil scott_continuity nil )nil identity_continuity "topology/" )nil scott_identity_continuity nil )nil booleans nil )nil booleans nil )nil defined_types nil )nil sets nil )nil defined_types nil )"bool" directed_ordersnil )"(directed_complete_partial_order?)" nil )"setofsets[T]" scott nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
