Frexlet.Monoid.Involutive.List

Definitions

List : InvolutiveMonoid

Totality: total
Visibility: public export