Index - U
| unAdditive | Data.Semigroup.Additive, Data.Semiring |
| unit | Data.Semimodule.Algebra |
| unit' | Data.Semimodule.Algebra |
| Unital | Data.Semimodule.Algebra |
| unital | Data.Semimodule.Algebra |
| unMultiplicative | Data.Semigroup.Additive, Data.Semiring |
| unV1 | Data.Semimodule.Free |