@Список_имен - отображения
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
var(ex("list",[])),w("-"),w("отображения")
Комментарий:
Вводятся несколько новых отображений с указанными именами. Термины, состоящие из нескольких слов, заключаются в кавычки или в квадратные скобки.
Имя операции:
morphisms