ループ不変 ふへん しきでした
rūpufuhenshikideshita

Noun
Desu Copula

The polite past form of ループ不変式

1. It was a loop invariant.

Past/Perfective
Polite
Computing