@jeanas@mathstodon.xyz

Post #2061446

2026-04-18 20:07 UTC

@ncf By “relation”, do you mean a mere relation or a proof-relevant relation?

Replies (1)

@ncf@types.pl 2026-04-18 20:10

@jeanas mere relation.

Open ##2061447