Zulip Chat Archive

Stream: maths

Topic: Well founded


view this post on Zulip Morenikeji Neri (Aug 22 2018 at 15:03):

Is there a proof that if a set is well founded it contains a minimal element?

view this post on Zulip Kenny Lau (Aug 22 2018 at 15:07):

well_founded.min in order.basic

view this post on Zulip Morenikeji Neri (Aug 22 2018 at 15:18):

thanks Kenny!

view this post on Zulip Kevin Buzzard (Aug 22 2018 at 15:46):

What about the empty set :P

view this post on Zulip Johan Commelin (Aug 22 2018 at 16:30):

said Ofer Gabber

view this post on Zulip 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: May 18 2021 at 08:14 UTC