Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
科研之友
微信
新浪微博
Facebook
分享链接
