Commit 2023-12-05 06:29 bb71af2a
View on Github →chore(UniformConvergenceTopology): golf, reflow (#8812)
- Move a proof up, golf.
- Replace
(· ∘ ·) f
with(f ∘ ·)
. - Reflow structure constructors.
chore(UniformConvergenceTopology): golf, reflow (#8812)
(· ∘ ·) f
with (f ∘ ·)
.