Zulip Chat Archive
Stream: maths
Topic: nonconstructive type finiteness
Kevin Buzzard (Oct 30 2022 at 22:26):
finset is to set.finite as fintype is to ??? ? Did we ever get nonconstructive type finiteness?
Yaël Dillies (Oct 30 2022 at 22:27):
Kevin Buzzard (Oct 30 2022 at 22:28):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC