Commit 2024-12-01 16:15 2aefce62

View on Github →

chore: move Topology.Support to Topology.Algebra.Support (#19651) to make it clear it's not pure topology. Indeed, the support is the preimage of 0, which is an algebraic object. Sounds quite trivial like that, but the file actually imports Module!

Estimated changes