Commit 2025-12-24 01:29 8fc3851c
View on Github →chore(Analysis): prefer to use toSpanSingleton over smulRight (1 : R →L[R] R) (#33047)
This changes definitions using smulRight (1 : R →L[R] R) (or smulRight (.id R R)) to toSpanSingleton R.