Idris2Doc : Frexlet.Monoid.Involutive.Properties

Frexlet.Monoid.Involutive.Properties

Properties involving involutive monoids

Reexports

import public Frexlet.Monoid.Involutive.Theory
import public Frexlet.Monoid.Involutive.Notation

invNeutral : (a : InvolutiveMonoid) -> a .rel (I1 .inv) I1: Totality: total
Visibility: public export