← Feed @DDOtten@mathstodon.xyz 2026-04-24 15:37 UTC @zyang That makes a lot of sense and further explains the motivation for the steps in nf7 for me. Thank you for your quick reply! Replies (0) No replies.