Commit 2025-12-10 18:38 255f6107

View on Github →

feat(Topology/AddCircle): remove 0 < p condition from finite_torsion (#32691)

Estimated changes

modified theorem AddCircle.finite_torsion