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: May 02 2025 at 03:31 UTC