Zulip Chat Archive
Stream: maths
Topic: Well founded
Morenikeji Neri (Aug 22 2018 at 15:03):
Is there a proof that if a set is well founded it contains a minimal element?
Kenny Lau (Aug 22 2018 at 15:07):
well_founded.min in order.basic
Morenikeji Neri (Aug 22 2018 at 15:18):
thanks Kenny!
Kevin Buzzard (Aug 22 2018 at 15:46):
What about the empty set :P
Johan Commelin (Aug 22 2018 at 16:30):
said Ofer Gabber
Patrick Massot (Aug 22 2018 at 18:24):
Ofer is asking less questions of that type now that he is sixty. But he is still less lenient than Lean.
Last updated: Dec 20 2023 at 11:08 UTC