У меня есть несколько лемм, в которых я указываю $C_1$ констант, $C_2$, и т.д для дальнейшего использования. Естественно, это является раздражающим, когда я позже вставляю новое постоянное определение в середине. Что я был бы...
вопрос задан: 29 June 2010 19:09