Zulip Chat Archive
Stream: general
Topic: not_forall
Patrick Massot (Jan 26 2019 at 21:32):
Why isn't not_forall a simp lemma, whereas not_exists is? Is it a constructivism madness thing or would it make simp to loop in general?
Simon Hudon (Jan 26 2019 at 21:33):
That looks like a simple oversight
Last updated: Dec 20 2023 at 11:08 UTC