Stream: math-comp analysis

Topic: Where is lemma: image of nonempty set is nonempty


view this post on Zulip abab9579 (Sep 07 2022 at 01:31):

I cannot find A !=set0 -> f @` A !=set0 , which is quite a simple lemma. It seems like only the converse is in the classical_sets file.


Last updated: Feb 05 2023 at 15:03 UTC