Toot

Written by Martin Escardo on 2025-01-13 at 21:48

@ncf

It is correct.

See also our paper

https://lmcs.episciences.org/3217

which discusses subsingleton choice.

=> More informations about this toot | View the thread | More toots from MartinEscardo@mathstodon.xyz

Mentions

=> View ncf@types.pl profile

Tags