Idris2Doc : Frex.Powers

Frex.Powers

The power of an algebra a by a set x is the point-wise algebra structure on a -> x

Reexports

import public Frex.Powers.Definition
import public Frex.Powers.Abstract
import public Frex.Powers.Construction
import public Frex.Powers.Fin