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.

Estimated changes