Commit 2023-12-06 22:58 fccca5a3

View on Github →

chore(Topology/ContinuousFunction/Bounded): add a BoundedSMul instance (#8854) This typeclass probably didn't exist yet when this was written. Also cleans up some nearby style and comments.

Estimated changes