Toot

Written by Martin Escardo on 2025-02-01 at 21:29

@de_Jong_Tom

Let me say that on Friday morning I conjectured that any type has at most one tight apartness relation, and that Tom is proving me wrong in this thread.

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

Mentions

=> View de_Jong_Tom@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113930753955051593
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
252.945482 milliseconds
Gemini-to-HTML Time
0.654053 milliseconds

This content has been proxied by September (3851b).