Commit 2026-10-01 18:51 e03cea5f
View on Github →chore(Topology/DiscreteQuotient): remove duplicate instance (#44385)
This is already covered by an existing Inhabited instance; the default value chosen is mathematically equal.
This instance causes a diamond at implicit transparency, though: found by the linter in #38781.