Documentation

Mathlib.Algebra.Order.Monoid.TypeTags

Bundled ordered monoid structures on Multiplicative α and Additive α. #