共 50 条
- [21] THEOREM OF KUIPER - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (02): : A330 - A330
- [22] Formalization of General Topology in Coq-A Formal Proof of Tychonoffs Theorem PROCEEDINGS OF THE 38TH CHINESE CONTROL CONFERENCE (CCC), 2019, : 2685 - 2691
- [23] EXTENSION OF NAGYS THEOREM - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (02): : A301 - A301
- [24] CLOSED EMBEDDING THEOREM - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (05): : A659 - &
- [25] AN EXISTENCE THEOREM FOR INTEGRAL . PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 140 - &
- [26] TOPOLOGICAL ULTRAPOWER THEOREM - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (07): : A715 - A715
- [28] BLUMBERGS THEOREM - PRELIMINARY-REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A23 - A23
- [29] ON WEIERSTRASS PREPARATION THEOREM . PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 270 - &
- [30] THEOREM ON APPROXIMATE DERIVATES - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (03): : A375 - A375