na_invariants.v 3.75 KB