Имена отображений
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
w("имена"),w("отображений")
Комментарий:
Элементами этой области являются имена отображений текущего понятия
Имя операции:
names_of_morphisms