Commit 2024-12-21 17:14 07437434

View on Github →

chore: deprecate UniformSpace.Completion.Continuous.mul (#20145) By adding a missing instance, this becomes just a really weird way to spell Continuous.mul.

Estimated changes