Commit 2024-02-20 17:52 8afb4109
View on Github →chore(UniformSpace): golf (#10627)
Golf the instance for UniformSpace (α ⊕ β)
using the ofNhdsEqComap
constructor.
chore(UniformSpace): golf (#10627)
Golf the instance for UniformSpace (α ⊕ β)
using the ofNhdsEqComap
constructor.