| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/topology/ (Fast Lexical Analyzer Version 2.6©) Datei vom 28.9.2014 mit Größe 636 B |
|
Quelle homeomorphic_reflexive.pvs Sprache: PVS |
|||||||||
|
%------------------------------------------------------------------------------
% Homeomorphisms are Reflexive % % All references are to WA Sutherland "Introduction to Metric and % Topological Spaces", OUP, 1981 % % Author: David Lester, Manchester University, NIA, Université Perpignan % % Version 1.0 8/10/04 Initial Version %------------------------------------------------------------------------------ homeomorphic_reflexive[T:TYPE,(IMPORTING topology_def[T]) S:topology[T]]:THEORY BEGIN IMPORTING homeomorphism_def[T,S,T,S] homeomorphic_reflexive: LEMMA homeomorphic?(S,S) END homeomorphic_reflexive ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28