na_invariants.v 4.78 KB