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
.
chore: deprecate UniformSpace.Completion.Continuous.mul
(#20145)
By adding a missing instance, this becomes just a really weird way to spell Continuous.mul
.