external direct sum

تخصصی

[ریاضیات] مجموع مستقیم خارجی

پیشنهاد کاربران

بپرس