na_invariants.v 4.77 KB