Abstrakt
V Návaznosti na práce Dow, Tkachenko, Tkachuk a Wilson, dokážeme, že spočetně kompaktní spočetně těsný prostor, normovaný lineární prostor v slabé topologii a prostor funkcí nadar library (MML). This representation, so called Generated Mizar Abstracts, contains human readable form of the MML, completed by additional information which is missing or h