Some fixes

This commit is contained in:
Oleg Grigoriev
2014-08-05 18:35:14 +04:00
parent e7caead951
commit dd8b1cbf30
5 changed files with 12 additions and 12 deletions

View File

@ -13,8 +13,8 @@
220C : Не содержит в качестве члена
220D : Маленький содержит в качестве члена
220E : Конец доказательства
220F : N-ичный продукт
2210 : N-ичный побочный продукт
220F : N-арное произведение
2210 : N-арное копроизведение
2211 : N-ичное суммирование
2212 : Знак минус
2213 : Знак минус или плюс