Commit 2024-12-09 08:25 bde99e32

View on Github →

chore: don't import Set.indicator in Topology.ContinuousOn (#19653) This is a first step towards not depending on algebra in basic topology

Estimated changes