isom_ver_dom(@Ins)
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
w("isom_ver_dom"),w("("),var(ex("mor",[])),w(")")
Комментарий:
Изоморфизм области определения вложения с подобластью
Имя операции:
isom_ver_dom