chore(Topology): rename IndiscreteTopology to HasIndiscreteTopology - #40994
Open
felixpernegger wants to merge 5 commits into
Open
chore(Topology): rename IndiscreteTopology to HasIndiscreteTopology#40994felixpernegger wants to merge 5 commits into
IndiscreteTopology to HasIndiscreteTopology#40994felixpernegger wants to merge 5 commits into
Commits
Commits on Jun 24, 2026
- committed
- committed
- committed
- committed
