Remove a strict_order axiom

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

42 stars 24 forks source link

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

I decided I wanted an easy proving task, so I removed this axiom for you