← Feed @matematiflo@mathstodon.xyz 2026-04-09 05:42 UTC @oantolin @andrejbauer Exactly, you didn’t state what was meant by rotation, so it should be fine 😇 I enjoyed the podcast as well! (as usual with #aboutlogic) Replies (0) No replies.