invariants.v 3.77 KB