Questions about lemmas regarding images of sets/finsets

Stream: new members

[Kevin Buzzard]

Eric just means that you asked three more questions and you could start a separate thread for them, and Zulip makes it very easy to do this (just edit the thread name of the post where you asked the new questions)

[Antoine Chambert-Loir]

Done, but the answers of Johan and Yaël now refer to another thread…

[Kevin Buzzard]

I didn't say it was a good idea! I was just explaining what Eric was talking about ;-)