elimination_invariance.md

Something went wrong.