共 50 条
- [31] Tietze Extension Theorem for n-dimensional Spaces FORMALIZED MATHEMATICS, 2014, 22 (01): : 11 - 19
- [36] A SPECTRAL MAPPING-THEOREM FOR FUNCTIONS WITH FINITE DIRICHLET INTEGRAL JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1986, 366 : 1 - 17
- [38] ALMOST COMPLEX-MANIFOLDS AND CONFORMAL MAPPING-THEOREM COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1983, 296 (23): : 993 - 995