search

hanshoglund / average

Provides a (fake) monoid for calculating arithmetic means.
BSD 3-Clause "New" or "Revised" License
1 stars 4 forks source link

Bump vector-space upper bound #1

Closed bgamari closed 7 years ago