Group structure via subgroup counts — qed.bot Claims, announcements and changes recorded against Group structure via subgroup counts. https://qed.bot/feeds/s/arxiv-2604-08040-conjecture5-5.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Group structure via subgroup counts urn:qed:change:formal-status:arxiv:2604.08040/Conjecture5_5:solved 2026-09-28T11:57:19Z The formal record now marks Group structure via subgroup counts as solved, previously mixed. Fidelity regraded: Group structure via subgroup counts urn:qed:change:fidelity:arxiv:2604.08040/Conjecture5_5:F2 2026-09-28T11:57:19Z The fidelity grade for Group structure via subgroup counts moved from F0 to F2.