← Feed @jhostert@mathstodon.xyz Post #1959049 2026-02-27 15:55 UTC I hate it when this happens in my #rocq proofs... Replies (0) No replies.