Commit 2024-08-07 13:48 dcd65e93
View on Github →chore (Topology.Algebra.Algebra): name DiscreteTopology.instContinuousSMul and de-instance (#15339)
This instance is reasonable mathematically but creates complexity in the typeclass search. It is currently not used so we de-instance it.