Up – Package index » abstract_algebra » Library abstract_algebra » Abstract_algebra

Module `Abstract_algebra`Source

Sourcemodule Commutative_group : sig ... end

An implementation of this interface should have the following properties:

Sourcemodule Vector_space : sig ... end