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