← Feed @sainati@types.pl 2026-04-08 01:28 UTC ah, my favorite proof technique Replies (1) @robinadams@mathstodon.xyz 2026-04-08 18:54 @sainati@types.pl Which book is this? Open ##5456393