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
!