@antoinechambertloir@mathstodon.xyz
Post #4231614
2026-07-28 16:54 UTC
@yforster@types.pl @mevenlennonbertrand@lipn.info how did he get the actual “proof”? Just because false implies everything or is there some more subtle move somewhere?
Replies (0)
No replies.