∂ part of node [[fundamental-theorem-of-finite-factored-sets]]

fundamental theorem of finite factored sets