na_invariants.v 4.81 KB