lingo - 如何用术语写一个 t 减一的约束

Question

例如 iInvfti=iInvft-1i+Capft-iqfti ∀t

@for(t:@sum(i:invf))=@for(t-1:@sum(i:invf))+@for(t:capf)-@for(t:@sum(i:qf) );