Commit 2026-02-15 18:15 76621bb7

View on Github →

feat: closed subgroup of profinite group is intersection of open subgroups containing it (#34785)

Estimated changes