rename weak_topology -> initial_topology#1834
Merged
affeldt-aist merged 2 commits intomath-comp:masterfrom Feb 8, 2026
Merged
Commits
Commits on Feb 4, 2026
- andcommitted
Commits on Feb 6, 2026
- committed
weak_topology -> initial_topology#1834