Local Open Scope topology_scope. Section homeomorphic. Variables X Y : Type. Variable Tx : Topology X. Variable Ty : Topology Y. Record Homeomorphism (f : X ...
確定! 回上一頁