loop invariant

invariants used to prove properties of loops

ক্যাটাগরি: