Commit 2024-03-20 10:53 63ca896d
View on Github →chore(Topology/ContinuousFunction/Bounded): Rename instances (#10780)
All the unnamed instances here were very long, and Moritz recently linked one of these to a newcomer.
Also slightly clean up the Lattice instance